Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 > Time-Optimal Real-Time Test Case Generation Using Uppaal
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 |
Andreas Ulrich
Springer Berlin Heidelberg
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Time-Optimal Real-Time Test Case Generation Using Uppaal
Authors

Anders Hessel; Kim G. Larsen; Brian Nielsen; Paul Pettersson; Arne Skou

ARI Id

1664865097508_3840255

Access

Not Available Free

Pages

114-130

DOI

10.1007/978-3-540-24617-6_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-24617-6_9

Table of Contents of Book
Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Black-Box Testing of Grey-Box Behavior
Benjamin Tyler; Neelam Soundarajan
1-14
On Checking Whether a Predicate Definitely Holds
Alper Sen; Vijay K. Garg
15-29
Using a Software Testing Technique to Improve Theorem Proving
Reiner Hähnle; Angela Wallenburg
30-41
Auto-generating Test Sequences Using Model Checkers: A Case Study
Mats P. E. Heimdahl; Sanjai Rayadurgam; Willem Visser; George Devaraj; Jimin Gao
42-59
Mutually Enhancing Test Generation and Specification Inference
Tao Xie; David Notkin
60-69
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Guoqing Xu; Zongyuang Yang
70-85
Compositional Testing with ioco
Machiel van der Bijl; Arend Rensink; Jan Tretmans
86-100
Defining Observation Objectives for Reactive and Distributed Systems
Timo Aaltonen
101-113
Time-Optimal Real-Time Test Case Generation Using Uppaal
Anders Hessel; Kim G. Larsen; Brian Nielsen; Paul Pettersson; Arne Skou
114-130
Test Cases Generation for Nondeterministic Real-Time Systems
Ahmed Khoumsi; Thierry Jéron; Hervé Marchand
131-146
Property Oriented Test Case Generation
Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon
147-163
Computing Unique Input/Output Sequences Using Genetic Algorithms
Qiang Guo; Robert M. Hierons; Mark Harman; Karnig Derderian
164-177
Automatic Generation of Test Purposes for Testing Distributed Systems
Olaf Henniger; Miao Lu; Hasan Ural
178-191
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation
Ahyoung Sung; Byoungju Choi
192-204
Automatic Conformance Testing of Internet Applications
Harm M. A. van Beek; Sjouke Mauw
205-222
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams
Mourad Badri; Linda Badri; Marius Naha
223-235
VISWAS and on Diagnosability with IEEE Std P1522 and UML2. 0 Testing Profile
Sita Ramakrishnan
236-251
Towards a Tool Environment for Model-Based Testing with AsmL
Mike Barnett; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes
252-266
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings