ISSTA 2014- Proceedings of the 2014 International Symposium on Software Testing and Analysis
Full Citation in the ACM Digital Library
SESSION: Concurrency and Verification
Runtime prevention of concurrency related type-state violations in multithreaded applications
Lu Zhang
Chao Wang
Performance regression testing of concurrent classes
Michael Pradel
Markus Huggler
Thomas R. Gross
Verifying atomicity via data independence
Ohad Shacham
Eran Yahav
Guy Golan Gueta
Alex Aiken
Nathan Bronson
Mooly Sagiv
Martin Vechev
Verification-aided regression testing
Fabrizio Pastore
Leonardo Mariani
Antti E. J. Hyvärinen
Grigory Fedyukovich
Natasha Sharygina
Stephan Sehestedt
Ali Muhammad
SESSION: Web Testing
Hybrid security analysis of web JavaScript code via dynamic partial evaluation
Omer Tripp
Pietro Ferrara
Marco Pistoia
Virtual DOM coverage for effective testing of dynamic web applications
Yunxiao Zou
Zhenyu Chen
Yunhui Zheng
Xiangyu Zhang
Zebao Gao
DOM-based test adequacy criteria for web applications
Mehdi Mirzaaghaei
Ali Mesbah
Cross-platform feature matching for web applications
Shauvik Roy Choudhary
Mukul R. Prasad
Alessandro Orso
SESSION: Artifact Studies
Covrig: a framework for the analysis of code, test, and coverage evolution in real software
Paul Marinescu
Petr Hosek
Cristian Cadar
CoREBench: studying complexity of regression errors
Marcel Böhme
Abhik Roychoudhury
SESSION: Static Analyses and Transformations
ARC++: effective typestate and lifetime dependency analysis
Xusheng Xiao
Gogul Balakrishnan
Franjo Ivančić
Naoto Maeda
Aarti Gupta
Deepak Chhetri
A type system for format strings
Konstantin Weitz
Gene Kim
Siwakorn Srisakaokul
Michael D. Ernst
Scalable detection of missed cross-function refactorings
Narcisa Andreea Milea
Lingxiao Jiang
Siau-Cheng Khoo
Tailored source code transformations to synthesize computationally diverse program variants
Benoit Baudry
Simon Allier
Martin Monperrus
SESSION: Test Selection and Reduction
Using test case reduction and prioritization to improve symbolic execution
Chaoqiang Zhang
Alex Groce
Mohammad Amin Alipour
FLOWER: optimal test suite reduction as a network maximum flow
Arnaud Gotlieb
Dusica Marijan
Coverage and fault detection of the output-uniqueness test selection criteria
Nadia Alshahwan
Mark Harman
Dodona: automated oracle data set selection
Pablo Loyola
Matt Staats
In-Young Ko
Gregg Rothermel
SESSION: Localization and Repair
CrashLocator: locating crashing faults based on crash stacks
Rongxin Wu
Hongyu Zhang
Shing-Chi Cheung
Sunghun Kim
Efficient predicated bug signature mining via hierarchical instrumentation
Zhiqiang Zuo
Siau-Cheng Khoo
Chengnian Sun
Semantic differential repair for input validation and sanitization
Muath Alkhalaf
Abdulbaki Aydin
Tevfik Bultan
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
Yiyan Lin
Sandeep S. Kulkarni
SESSION: Security
Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform
Andrew Henderson
Aravind Prakash
Lok Kwong Yan
Xunchao Hu
Xujiewen Wang
Rundong Zhou
Heng Yin
Automated testing for SQL injection vulnerabilities: an input mutation approach
Dennis Appelt
Cu Duy Nguyen
Lionel C. Briand
Nadia Alshahwan
SESSION: UI Testing
Reducing GUI test suites via program slicing
Stephan Arlt
Andreas Podelski
Martin Wehrle
SunCat: helping developers understand and predict performance problems in smartphone applications
Adrian Nistor
Lenin Ravindranath
A variability-based testing approach for synthesizing video sequences
José A. Galindo
Mauricio Alférez
Mathieu Acher
Benoit Baudry
David Benavides
Robust test automation using contextual clues
Rahulkrishna Yandrapally
Suresh Thummalapenta
Saurabh Sinha
Satish Chandra
SESSION: Efficiency and Optimizations
Efficient mutation analysis by propagating and partitioning infected execution states
René Just
Michael D. Ernst
Gordon Fraser
Lightweight automated detection of unsafe information leakage via exceptions
Benwen Zhang
James Clause
Integrated energy-directed test suite optimization
Ding Li
Yuchen Jin
Cagri Sahin
James Clause
William G. J. Halfond
Identifying optimal trade-offs between CPU time usage and temporal constraints using search
Shiva Nejati
Lionel C. Briand
SESSION: Generation and Propagation
Feedback-driven dynamic invariant discovery
Lingming Zhang
Guowei Yang
Neha Rungta
Suzette Person
Sarfraz Khurshid
Link: exploiting the web of data to generate test inputs
Leonardo Mariani
Mauro Pezzè
Oliviero Riganelli
Mauro Santoro
Empirically revisiting the test independence assumption
Sai Zhang
Darioush Jalali
Jochen Wuttke
Kıvanç Muşlu
Wing Lam
Michael D. Ernst
David Notkin
An empirical study of injected versus actual interface errors
Anna Lanzaro
Roberto Natella
Stefan Winter
Domenico Cotroneo
Neeraj Suri
SESSION: Tool Demonstrations
Legend: an agile DSL toolset for web acceptance testing
Tariq M. King
Gabriel Nunez
Dionny Santiago
Adam Cando
Cody Mack
ProCrawl: mining test models from multi-user web applications
Matthias Schur
Andreas Roth
Andreas Zeller
X-PERT: a web application testing tool for cross-browser inconsistency detection
Shauvik Roy Choudhary
Mukul R. Prasad
Alessandro Orso
Extending a search-based test generator with adaptive dynamic symbolic execution
Juan Pablo Galeotti
Gordon Fraser
Andrea Arcuri
Canalyze: a static bug-finding tool for C programs
Zhenbo Xu
Jian Zhang
Zhongxing Xu
Jiteng Wang
MuCheck: an extensible tool for mutation testing of haskell programs
Duc Le
Mohammad Amin Alipour
Rahul Gopinath
Alex Groce
The major mutation framework: efficient and scalable mutation analysis for Java
René Just
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
René Just
Darioush Jalali
Michael D. Ernst
A format string checker for Java
Konstantin Weitz
Siwakorn Srisakaokul
Gene Kim
Michael D. Ernst
Constructing coding duels in Pex4Fun and code hunt
Nikolai Tillmann
Jonathan de Halleux
Tao Xie
Judith Bishop
SESSION: Doctoral Symposium
Reusing constraint proofs for scalable program analysis
Meixian Chen
Effective test generation and adequacy assessment for JavaScript-based web applications
Shabnam Mirshokraie
Efficient statistical debugging via hierarchical instrumentation
Zhiqiang Zuo