Abstract is missing.
- Checking Experiments for Finite State Machines with Symbolic InputsAlexandre Petrenko, Adenilso da Silva Simão. 3-18 [doi]
- Using Multiple Adaptive Distinguishing Sequences for Checking Sequence GenerationCanan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün. 19-34 [doi]
- Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and ContractsImen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto. 35-51 [doi]
- Graph Methods for Generating Test Cases with Universal and Existential ConstraintsSylvain Hallé, Edmond La Chance, Sébastien Gaboury. 55-70 [doi]
- Reducing the Cost of Grammar-Based Testing Using Pattern CoverageCleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira. 71-85 [doi]
- Automated Test Design for Boundaries of Product Line VariantsStephan Weißleder, Florian Wartenberg, Hartmut Lackner. 86-101 [doi]
- Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIPXiaoping Che, Stephane Maag, Huu-Nghia Nguyen, Fatiha Zaïdi. 105-123 [doi]
- Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco ApproachRui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa. 124-140 [doi]
- Novel Insights on Cross Project Fault Prediction Applied to Automotive SoftwareHarald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa. 141-157 [doi]
- Inferring Finite State Machines Without Reset Using State Identification SequencesRoland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat. 161-177 [doi]
- mu2: A Refactoring-Based Mutation Testing Framework for ErlangRamsay Taylor, John Derrick. 178-193 [doi]
- A Survey on Testing for Cyber Physical SystemSara Abbaspour Asadollah, Rafia Inam, Hans Hansson. 194-207 [doi]
- Test-Data Generation for Testing Parallel Real-Time SystemsMuhammad Waqar Aziz, Syed Abdul Baqi Shah. 211-223 [doi]
- Selective Test Generation Approach for Testing Dynamic Behavioral AdaptationsMariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel. 224-239 [doi]
- Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State MachinesNatalia Kushik, Hüsnü Yenigün. 243-248 [doi]
- Genetic Algorithm Application for Enhancing State-Sensitivity PartitioningAmmar Mohammed Sultan, Salmi Baharom, Abdul Azim Abdul Ghani, Jamilah Din, Hazura Zulzalil. 249-256 [doi]
- A Negative Input Space Complexity Metric as Selection Criterion for Fuzz TestingMartin A. Schneider, Marc-Florian Wendland, Andreas Hoffmann. 257-262 [doi]
- A Practical Evaluation Method of Network Traffic Load for Capacity PlanningTakeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano. 263-268 [doi]