Abstract is missing.
- Black-Box Testing of Grey-Box BehaviorBenjamin Tyler, Neelam Soundarajan. 1-14 [doi]
- On Checking Whether a Predicate Definitely HoldsAlper Sen, Vijay K. Garg. 15-29 [doi]
- Using a Software Testing Technique to Improve Theorem ProvingReiner Hähnle, Angela Wallenburg. 30-41 [doi]
- Auto-generating Test Sequences Using Model Checkers: A Case StudyMats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao. 42-59 [doi]
- Mutually Enhancing Test Generation and Specification InferenceTao Xie, David Notkin. 60-69 [doi]
- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnitGuoqing Xu, Zongyuang Yang. 70-85 [doi]
- Compositional Testing with iocoMachiel van der Bijl, Arend Rensink, Jan Tretmans. 86-100 [doi]
- Defining Observation Objectives for Reactive and Distributed SystemsTimo Aaltonen. 101-113 [doi]
- Time-Optimal Real-Time Test Case Generation Using UppaalAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou. 114-130 [doi]
- Test Cases Generation for Nondeterministic Real-Time SystemsAhmed Khoumsi, Thierry Jéron, Hervé Marchand. 131-146 [doi]
- Property Oriented Test Case GenerationJean-Claude Fernandez, Laurent Mounier, Cyril Pachon. 147-163 [doi]
- Computing Unique Input/Output Sequences Using Genetic AlgorithmsQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. 164-177 [doi]
- Automatic Generation of Test Purposes for Testing Distributed SystemsOlaf Henniger, Miao Lu, Hasan Ural. 178-191 [doi]
- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program MutationAhyoung Sung, Byoungju Choi. 192-204 [doi]
- Automatic Conformance Testing of Internet ApplicationsHarm M. A. van Beek, Sjouke Mauw. 205-222 [doi]
- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration DiagramsMourad Badri, Linda Badri, Marius Naha. 223-235 [doi]
- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing ProfileSita Ramakrishnan. 236-251 [doi]
- Towards a Tool Environment for Model-Based Testing with AsmLMichael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. 252-266 [doi]