ISSTA 2015- Proceedings of the 2015 International Symposium on Software Testing and Analysis

Full Citation in the ACM Digital Library

SESSION: Debugging

Evaluating the usefulness of IR-based fault localization techniques

• Qianqian Wang
• Chris Parnin
• Alessandro Orso

Proactive detection of inadequate diagnostic messages for software configuration errors

• Sai Zhang
• Michael D. Ernst

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

• Zichao Qi
• Fan Long
• Sara Achour
• Martin Rinard

SESSION: Web Security

BrowserAudit: automated testing of browser security features

• Charlie Hothersall-Thomas
• Sergio Maffeis
• Chris Novakovic

Detection and classification of malicious JavaScript via attack behavior modelling

• Yinxing Xue
• Junjie Wang
• Yang Liu
• Hao Xiao
• Jun Sun
• Mahinthan Chandramohan

Experience report: an empirical study of PHP security mechanism usage

• Johannes Dahse
• Thorsten Holz

SESSION: Mobile/Web Analysis

WuKong: a scalable and accurate two-phase approach to Android app clone detection

• Haoyu Wang
• Yao Guo
• Ziang Ma
• Xiangqun Chen

Systematic execution of Android test suites in adverse conditions

• Christoffer Quist Adamsen
• Gianluca Mezzetti
• Anders Møller

DLint: dynamically checking bad coding practices in JavaScript

• Liang Gong
• Michael Pradel
• Manu Sridharan
• Koushik Sen

SESSION: Mobile Security

Scalable and precise taint analysis for Android

• Wei Huang
• Yao Dong
• Ana Milanova
• Julian Dolby

Dynamic detection of inter-application communication vulnerabilities in Android

• Roee Hay
• Omer Tripp
• Marco Pistoia

Modelgen: mining explicit information flow specifications from concrete executions

• Lazaro Clapp
• Saswat Anand
• Alex Aiken

SESSION: Concurrency Analysis

When truth is efficient: analysing concurrency

• Ganesh Narayanaswamy

Pegasus: automatic barrier inference for stable multithreaded systems

• Monika Dhok
• Rashmi Mudduluru
• Murali Krishna Ramanathan

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

• Sepideh Khoshnood
• Markus Kusano
• Chao Wang

SESSION: Symbolic Execution

Enhancing reuse of constraint solutions to improve symbolic execution

• Xiangyang Jia
• Carlo Ghezzi
• Shi Ying

S-looper: automatic summarization for multipath string loops

• Xiaofei Xie
• Yang Liu
• Wei Le
• Xiaohong Li
• Hongxu Chen

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE

• Xiaoyin Wang
• Lingming Zhang
• Philip Tanofsky

SESSION: Regression Testing

Practical regression test selection with dynamic file dependencies

• Milos Gligoric
• Lamyaa Eloussi
• Darko Marinov

Reliable testing: detecting state-polluting tests to prevent test dependency

• Alex Gyori
• August Shi
• Farah Hariri
• Darko Marinov

Empirical evaluation of pareto efficient multi-objective regression test case prioritisation

• Michael G. Epitropakis
• Shin Yoo
• Mark Harman
• Edmund K. Burke

SESSION: Search-Based Algorithms

Optimizing selection of competing features via feedback-directed evolutionary algorithms

• Tian Huat Tan
• Yinxing Xue
• Manman Chen
• Jun Sun
• Yang Liu
• Jin Song Dong

Automated software transplantation

• Earl T. Barr
• Mark Harman
• Yue Jia
• Alexandru Marginean
• Justyna Petke

Automating performance bottleneck detection using search-based application profiling

• Du Shen
• Qi Luo
• Denys Poshyvanyk
• Mark Grechanik

SESSION: Verification

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance

• Marko Dimjašević
• Dimitra Giannakopoulou

Reliability assessment for distributed systems via communication abstraction and refinement

• Lin Gui
• Jun Sun
• Yang Liu
• Jin Song Dong

Reusing constraint proofs in program analysis

• Andrea Aquino
• Francesco A. Bianchi
• Meixian Chen
• Giovanni Denaro
• Mauro Pezzè

SESSION: Random Testing

Feedback-controlled random test generation

• Kohsuke Yatoh
• Kazunori Sakamoto
• Fuyuki Ishikawa
• Shinichi Honiden

Randomized stress-testing of link-time optimizers

• Vu Le
• Chengnian Sun
• Zhendong Su

Automated unit test generation during software development: a controlled experiment and think-aloud observations

• José Miguel Rojas
• Gordon Fraser
• Andrea Arcuri

SESSION: Domain-Specific Testing

Calculation coverage testing in scientific applications

• Yoshiki Sato
• Shumpei Hozumi
• Shigeru Chiba

Automatic fault injection for driver robustness testing

• Kai Cong
• Li Lei
• Zhenkun Yang
• Fei Xie

Preventing data errors with continuous testing

• Kıvanç Muşlu
• Yuriy Brun
• Alexandra Meliou

SESSION: Model-Based Testing

Automatic generation of system test cases from use case specifications

• Chunhui Wang
• Fabrizio Pastore
• Arda Goknil
• Lionel Briand
• Zohaib Iqbal

RTCM: a natural language based, automated, and practical test case generation framework

• Tao Yue
• Shaukat Ali
• Man Zhang

SESSION: Tool Demonstrations

Dynamic taint tracking for Java with phosphor (demo)

• Jonathan Bell
• Gail Kaiser

TSTL: a language and tool for testing (demo)

• Alex Groce
• Jervis Pinto
• Pooria Azimi
• Pranjal Mittal

CanaryAdvisor: a statistical-based tool for canary testing (demo)

• Alexander Tarvo
• Peter F. Sweeney
• Nick Mitchell
• V.T. Rajan
• Matthew Arnold
• Ioana Baldini

SAMC: a fast model checker for finding heisenbugs in distributed systems (demo)

• Tanakorn Leesatapornwongsa
• Haryadi S. Gunawi

SESSION: Doctoral Symposium

Making your crashes work for you (doctoral symposium)

• Peter Ohmann

Scalable program analysis through proof caching (doctoral symposium)

• Andrea Aquino

Collaborative testing across shared software components (doctoral symposium)

• Teng Long

Cost-aware combinatorial interaction testing (doctoral symposium)

• Gulsen Demiroz

Mining change history for test-plan generation (doctoral symposium)

• Thomas Rolfsnes