Formal Approaches to Software Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540208945, 9783540246176

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mutually Enhancing Test Generation and Specification Inference

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_5 ◽

2004 ◽

pp. 60-69 ◽

Author(s):

Tao Xie ◽

David Notkin

Keyword(s):

Test Generation ◽

Specification Inference

Download Full-text

Black-Box Testing of Grey-Box Behavior

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_1 ◽

2004 ◽

pp. 1-14 ◽

Author(s):

Benjamin Tyler ◽

Neelam Soundarajan

Keyword(s):

Black Box ◽

Black Box Testing

Download Full-text

Automatic Generation of Test Purposes for Testing Distributed Systems

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_13 ◽

2004 ◽

pp. 178-191 ◽

Author(s):

Olaf Henniger ◽

Miao Lu ◽

Hasan Ural

Keyword(s):

Distributed Systems ◽

Automatic Generation

Download Full-text

Auto-generating Test Sequences Using Model Checkers: A Case Study

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_4 ◽

2004 ◽

pp. 42-59 ◽

Author(s):

Mats P. E. Heimdahl ◽

Sanjai Rayadurgam ◽

Willem Visser ◽

George Devaraj ◽

Jimin Gao

Download Full-text

Automatic Conformance Testing of Internet Applications

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_15 ◽

2004 ◽

pp. 205-222 ◽

Author(s):

Harm M. A. van Beek ◽

Sjouke Mauw

Keyword(s):

Conformance Testing ◽

Internet Applications

Download Full-text

Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_14 ◽

2004 ◽

pp. 192-204 ◽

Author(s):

Ahyoung Sung ◽

Byoungju Choi

Keyword(s):

Embedded System ◽

Fault Injection ◽

Interaction Testing

Download Full-text

Property Oriented Test Case Generation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_11 ◽

2004 ◽

pp. 147-163 ◽

Author(s):

Jean-Claude Fernandez ◽

Laurent Mounier ◽

Cyril Pachon

Keyword(s):

Test Case Generation ◽

Download Full-text

A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_16 ◽

2004 ◽

pp. 223-235 ◽

Author(s):

Mourad Badri ◽

Linda Badri ◽

Marius Naha

Keyword(s):

Use Case ◽

Formal Approach

Download Full-text

On Checking Whether a Predicate Definitely Holds

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_2 ◽

2004 ◽

pp. 15-29 ◽

Author(s):

Alper Sen ◽

Vijay K. Garg

Download Full-text

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24617-6_6 ◽

2004 ◽

pp. 70-85 ◽

Author(s):

Guoqing Xu ◽

Zongyuang Yang

Keyword(s):

Automated Testing ◽

Testing Framework

Download Full-text