Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
CSTVA 2012 - 4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012)
Topics/Call fo Papers
4th International Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'2012)
Website : CSVTA 2012
Day : April 21, 2012
Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Following previous meetings held in 2006, 2010 and 2011, the aim of this workshop is to bring together researchers and practitioners working in constraint-based software testing, verification and analysis to investigate future developments in this research field. We invite original contributions in the form of extended abstracts, fast abstracts and tool demo papers presenting new ideas, new results or new systems in constraint-based software testing.
Organisers: Frederic Dadeau and Cristian Cadar
Website : CSVTA 2012
Day : April 21, 2012
Recent years have seen an increasing interest in the application of constraint solving techniques to the testing and analysis of software systems. A significant body of constraint-based techniques have been proposed and investigated in model-based testing, code-based testing, property-oriented testing, statistical testing, etc. Following previous meetings held in 2006, 2010 and 2011, the aim of this workshop is to bring together researchers and practitioners working in constraint-based software testing, verification and analysis to investigate future developments in this research field. We invite original contributions in the form of extended abstracts, fast abstracts and tool demo papers presenting new ideas, new results or new systems in constraint-based software testing.
Organisers: Frederic Dadeau and Cristian Cadar
Other CFPs
- 1st international workshop on Scenario-Based Testing - SCENARIOS 2011
- The First International Conference on Computer Science and Information Technology (COSIT-2011)
- THE SECOND INTERNATIONAL WORKSHOP ON VLSI (VLSI 2011)
- Fourth International Conference on Network Security & Applications (CNSA-2011)
- THE SECOND INTERNATIONAL WORKSHOP ON DATABASE MANAGEMENT SYSTEMS (DMS-2011)
Last modified: 2011-11-15 14:57:31