Abstract is missing.
- Use Case Testing: A Constrained Active Machine Learning ApproachKarl Meinke, Hojat Khosrowjerdi. 3-21 [doi]
- Architecture-Guided Test Resource Allocation via LogicClovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa. 22-38 [doi]
- A Benchmarks Library for Extended Parametric Timed AutomataÉtienne André, Dylan Marinho, Jaco van de Pol. 39-50 [doi]
- Generating Timed UI Tests from CounterexamplesDominik Diner, Gordon Fraser 0001, Sebastian Schweikl, Andreas Stahlbauer. 53-71 [doi]
- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid InputsAmirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu. 72-84 [doi]
- FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C ProgramsKaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro. 85-105 [doi]