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