default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. FATES 2003: Montreal, Quebec, Canada
- Alexandre Petrenko, Andreas Ulrich:
Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Lecture Notes in Computer Science 2931, Springer 2004, ISBN 3-540-20894-1 - Benjamin Tyler
, Neelam Soundarajan:
Black-Box Testing of Grey-Box Behavior. 1-14 - Alper Sen, Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds. 15-29 - Reiner Hähnle, Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving. 30-41 - Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao:
Auto-generating Test Sequences Using Model Checkers: A Case Study. 42-59 - Tao Xie, David Notkin:
Mutually Enhancing Test Generation and Specification Inference. 60-69 - Guoqing Xu, Zongyuang Yang:
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. 70-85 - Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Compositional Testing with ioco. 86-100 - Timo Aaltonen:
Defining Observation Objectives for Reactive and Distributed Systems. 101-113 - Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal. 114-130 - Ahmed Khoumsi, Thierry Jéron, Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems. 131-146 - Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon:
Property Oriented Test Case Generation. 147-163 - Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms. 164-177 - Olaf Henniger, Miao Lu, Hasan Ural:
Automatic Generation of Test Purposes for Testing Distributed Systems. 178-191 - Ahyoung Sung, Byoungju Choi:
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation. 192-204 - Harm M. A. van Beek, Sjouke Mauw:
Automatic Conformance Testing of Internet Applications. 205-222 - Mourad Badri, Linda Badri, Marius Naha:
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. 223-235 - Sita Ramakrishnan:
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. 236-251 - Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. 252-266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-09-27 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
