Abstract is missing.
- Using Logic Coverage to Improve Testing Function Block DiagramsEduard Paul Enoiu, Daniel Sundmark, Paul Pettersson. 1-16 [doi]
- Automatic Grammar-Based Test GenerationHai-Feng Guo, Zongyan Qiu. 17-32 [doi]
- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State MachinesNatalia Kushik, Khaled El-Fakih, Nina Yevtushenko. 33-48 [doi]
- Exhaustive Model-Based Equivalence Class TestingWen-ling Huang, Jan Peleska. 49-64 [doi]
- Remote Testing of Timed SpecificationsAlexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet. 65-81 [doi]
- An Implementation Relation and Test Framework for Timed Distributed SystemsChristophe Gaston, Robert M. Hierons, Pascale Le Gall. 82-97 [doi]
- Unfolding-Based Test Selection for Concurrent ConformanceHernán Ponce de León, Stefan Haar, Delphine Longuet. 98-113 [doi]
- Predicting the Size of Test Suites from Use Cases: An Empirical ExplorationMourad Badri, Linda Badri, William Flageol. 114-132 [doi]
- Chaining Test Cases for Reactive System TestingPeter Schrammel, Tom Melham, Daniel Kroening. 133-148 [doi]
- Variations over Test Suite ReductionDennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek. 149-163 [doi]
- Case Studies in Learning-Based TestingLei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong. 164-179 [doi]
- Techniques and Toolset for Conformance Testing against UML Sequence DiagramsJoão Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro. 180-195 [doi]
- Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/CodanAndreas Ibing. 196-206 [doi]
- Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3Bernard Stepien, Liam Peyton. 207-222 [doi]
- Guided Algebraic Specification Mining for Failure SimplificationAlexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage. 223-238 [doi]
- Spectrum-Based Fault Localization for Diagnosing Concurrency FaultsFeyzullah Koca, Hasan Sözer, Rui Abreu. 239-254 [doi]
- A Dynamic Approach to Locating Memory LeaksKostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks. 255-270 [doi]
- Towards a GUI Test Model Using State Charts and Programming CodeDaniel Mauser, Alexander Klaus, Konstantin Holl. 271-276 [doi]
- A Tool for Supporting Developers in Analyzing the Security of Web-Based Security ProtocolsGiancarlo Pellegrino, Luca Compagna, Thomas Morreggia. 277-282 [doi]
- Finding Errors in Python Programs Using Dynamic Symbolic ExecutionSamir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke. 283-289 [doi]