13. QSIC 2013: Najing, China

Session 1: Symbolic Execution

Session 2: QoS (1)

Session 3: SQIP Session

Session 4: QoS (2)

Session 5: Static Checking

Session 6: Software Testing

Session 7: Software Faults (1)

Session 8: DSL

Session 9: Software Faults (2)

Session 10: Fault Localization

The Symposium on Engineering Test Harnesses (TSETH)

Concise Papers

International Workshop on Testing and Verification of Embedded Computing Systems (TVECS)

International Workshop on Software Quality Assurance of Healthcare Systems and Embedded Systems (SQHE)

International Workshop on Quality and Measurement of Software Model-Driven Developments (QUAMES)

maintained by Schloss Dagstuhl LZI at University of Trier