Powered by
2013 International Symposium on Software Testing and Analysis (ISSTA),
July 15–20, 2013,
Lugano, Switzerland
Preface
Technical Research
Contracts, Invariants, and Stability
Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds
Nicolás Rosner, Juan Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, and Marcelo F. Frias
(UBA, Argentina; Saarland University, Germany; ITBA, Argentina)
Fuzzing and GUI Testing
Analysis and Testing of Non-functional Properties
Heap Analysis and Testing
Races and Multi-threaded Analysis and Testing
Localisation, Patching, and Repair
Mutating and Mocking
Learning, Optimizing, and Searching
Whitebox Testing
Web-Based Analysis and Testing
Doctoral Symposium
Temporal Properties and Concurrency
Performance and Databases
Formal Verification
proc time: 0.77