Con2colic testing

Authors:
Azadeh Farzan;Andreas Holzer;Niloofar Razavi;Helmut Veith
Affiliations:
University of Toronto, Canada;Vienna University of Technology, Austria;University of Toronto, Canada;Vienna University of Technology, Austria
Venue:
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Year:
2013

Citing 21
Cited 0

Model checking for programming languages using VeriSoft

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KISS: keep it simple and sequential

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
DART: directed automated random testing

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Iterative context bounding for systematic testing of multithreaded programs

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Scalable automated methods for dynamic program analysis

Scalable automated methods for dynamic program analysis
jPredictor: a predictive runtime analysis tool for java

Proceedings of the 30th international conference on Software engineering
Active property checking

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
CTrigger: exposing atomicity violation bugs from their hiding places

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Reducing concurrent analysis under a context bound to sequential analysis

Formal Methods in System Design
Heuristics for Scalable Dynamic Test Generation

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Symbolic Predictive Analysis for Concurrent Programs

FM '09 Proceedings of the 2nd World Congress on Formal Methods
STORM: static unit checking of concurrent programs

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
PENELOPE: weaving threads to expose atomicity violations

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Staged concurrent program analysis

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Delay-bounded scheduling

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On interference abstractions

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ConSeq: detecting concurrency bugs through sequential errors

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Poirot: a concurrency sleuth

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Context-Bounded model checking of concurrent software

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Predicting null-pointer dereferences in concurrent programs

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe (con)2colic testing - a systematic testing approach for concurrent software. Based on concrete and symbolic executions of a concurrent program, (con)2colic testing derives inputs and schedules such that the execution space of the program under investigation is systematically explored. We introduce interference scenarios as key concept in (con)2colic testing. Interference scenarios capture the flow of data among different threads and enable a unified representation of path and interference constraints. We have implemented a (con)2colic testing engine and demonstrate the effectiveness of our approach by experiments.