Powered by
Conference Publishing Consulting
2013 International Symposium on Software Testing and Analysis (ISSTA)
,
July 15–20, 2013
,
Lugano, Switzerland
ISSTA 2013 – Proceedings
Contents
-
Abstracts
-
Authors
Doctoral Symposium
Temporal Properties and Concurrency
Debugging Non-deadlock Concurrency Bugs
Sangmin Park
(Georgia Tech, USA)
Generation of Java Programs Properties from Test Purposes
Simone Hanazumi and Ana C. V. de Melo
(USP, Brazil)
Performance and Databases
Generation of Test Databases using Sampling Methods
Teodora Sandra Buda
(University College Dublin, Ireland)
Analysis of Performance Regression Testing Data by Transaction Profiles
Shadi Ghaith
(University College Dublin, Ireland)
Formal Verification
Product-Line Verification with Feature-Oriented Contracts
Thomas Thüm
(University of Magdeburg, Germany)
Info
Formal Safety Proof: A Real Case Study in a Railway Interlocking System
Andrea Bonacchi
(University of Florence, Italy)
proc time: 0.78