Abstract is missing.
- Towards Inferring Environment Models for Control Functions from Recorded Signal DataHenrik Peters, Falk Howar, Andreas Rausch. 1-4 [doi]
- Discovering and Validating Concurrency Specification from Test ExecutionsPablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck. 5-8 [doi]
- Trace Files for Automatic Memory Management SystemsMd. Mazder Rahman, Konstantin Nasartschuk, Kenneth B. Kent, Gerhard W. Dueck. 9-12 [doi]
- Assessing the Test Suite of a Large System Based on Code Coverage, Efficiency and UniquenessLászló Vidács, Ferenc Horváth, David Tengeri, Árpád Beszédes. 13-16 [doi]
- Using the City Metaphor for Visualizing Test-Related MetricsGergo Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy. 17-20 [doi]
- Precondition Coverage in Software TestingCyrille Artho, Quentin Gros, Guillaume Rousset. 21-24 [doi]
- Automated Static Analysis of Unit Test CodeRudolf Ramler, Michael Moser, Josef Pichler. 25-28 [doi]
- Classification of Randomly Generated Test CasesCyrille Artho, Lei Ma. 29-32 [doi]