From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems (English)
- New search for: Aichernig, B. K.
- New search for: Delgado, C. C.
- New search for: Aichernig, B. K.
- New search for: Delgado, C. C.
- New search for: Baresi, Luciano
- New search for: Heckel, Reiko
In:
Fundamental approaches to software engineering
3922
;
324-338
;
2006
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems
-
Contributors:
-
Conference:International conference; 9th, Fundamental approaches to software engineering ; 2006 ; Vienna
-
Published in:Fundamental approaches to software engineering , 3922 ; 324-338LECTURE NOTES IN COMPUTER SCIENCE , 3922 ; 324-338
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2006-01-01
-
Size:15 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Programming Model for Service Oriented ApplicationsCurbera, F. et al. | 2006
- 2
-
Software Engineering: Emerging Goals and Lasting ProblemsGhezzi, C. et al. | 2006
- 3
-
GPSL: A Programming Language for Service ImplementationCooney, D. / Dumas, M. / Roe, P. et al. | 2006
- 18
-
A Formal Approach to Event-Based ArchitecturesFiadeiro, J. L. / Lopes, A. et al. | 2006
- 33
-
Engineering Self-protection for Autonomous SystemsKoch, M. / Pauls, K. et al. | 2006
- 48
-
A Graph-Based Approach to Transform XML DocumentsTaentzer, G. / Carughi, G. T. et al. | 2006
- 63
-
OMake: Designing a Scalable Build ProcessHickey, J. / Nogin, A. et al. | 2006
- 79
-
Automatic Generation of Tutorial Systems from Development SpecificationIwata, H. / Shirogane, J. / Fukazawa, Y. et al. | 2006
- 93
-
A Software Implementation Progress ModelTowell, D. / Denton, J. et al. | 2006
- 107
-
Regular Inference for State Machines with ParametersBerg, T. / Jonsson, B. / Raffelt, H. et al. | 2006
- 122
-
Automated Support for Building Behavioral Models of Event-Driven SystemsDevereux, B. / Chechik, M. et al. | 2006
- 139
-
A Behavioral Model for Software ContainersSridhar, N. / Hallstrom, J. O. et al. | 2006
- 155
-
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements MeetingsDamian, D. / Lanubile, F. / Mallardo, T. et al. | 2006
- 170
-
Evaluation of Expected Software Quality: A Customer's ViewpointSacha, K. et al. | 2006
- 184
-
Using Design Metrics for Predicting System FlexibilityRobby / DeLoach, S. A. / Kolesnikov, V. A. et al. | 2006
- 199
-
Combining Problem Frames and UML in the Description of Software RequirementsLavazza, L. / Del Bianco, V. et al. | 2006
- 214
-
Amplifying the Benefits of Design Patterns: From Specification Through ImplementationHallstrom, J. O. / Soundarajan, N. / Tyler, B. et al. | 2006
- 230
-
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence ChartsWestphal, B. / Toben, T. et al. | 2006
- 247
-
Concerned About SeparationMili, H. / Sahraoui, H. / Lounis, H. / Mcheick, H. / Elkharraz, A. et al. | 2006
- 262
-
Algebraic Specification of a Model Transformation EngineBoronat, A. / Carsi, J. A. / Ramos, I. et al. | 2006
- 278
-
Fundamentals of Debugging Using a Resolution CalculusKob, D. / Wotawa, F. et al. | 2006
- 293
-
A Technique to Represent and Generate Components in MDA/PIM for AutomationMin, H. G. / Kim, S. D. et al. | 2006
- 308
-
Argus: Online Statistical Bug DetectionFei, L. / Lee, K. / Li, F. / Midkiff, S. P. et al. | 2006
- 324
-
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent SystemsAichernig, B. K. / Delgado, C. C. et al. | 2006
- 339
-
Automated Systematic Testing of Open Distributed ProgramsSen, K. / Agha, G. et al. | 2006
- 357
-
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time MaudeOlveczky, P. C. / Caccamo, M. et al. | 2006
- 373
-
JAG: JML Annotation Generation for Verifying Temporal PropertiesGiorgetti, A. / Groslambert, J. et al. | 2006
- 377
-
LearnLib: A Library forAutomata Learning and ExperimentationRaffelt, H. / Steffen, B. et al. | 2006
- 381
-
Trace-Based Memory Aliasing Across Program VersionsRamanathan, M. K. / Jagannathan, S. / Grama, A. et al. | 2006
- 396
-
The Pervasiveness of Global Data in Evolving Software SystemsRuffell, F. P. / Selby, J. W. A. et al. | 2006
- 411
-
Relation of Code Clones and Change CouplingsGeiger, R. / Fluri, B. / Gall, H. C. / Pinzger, M. et al. | 2006