- 2009
- Paolo Salvaneschi:
Functional abstractions for testing repository-style information systems. ICSE Companion 2009: 71-80 - Michael Achenbach, Klaus Ostermann:
Engineering Abstractions in Model Checking and Testing. SCAM 2009: 137-146 - Neha Rungta, Eric G. Mercer, Willem Visser:
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191 - 2008
- Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar:
Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38 - 2006
- Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune:
New Results on Testing Modularity of Local Supervisors using Abstractions. ETFA 2006: 950-956 - Greta Yorsh, Thomas Ball, Mooly Sagiv:
Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156 - 2005
- Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548 - Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin:
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE 2005: 121-130 - David Crowther, Djuradj Babich, Peter J. Clarke:
A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. SERA 2005: 22-29 - 2004
- Wolfgang Prenninger, Alexander Pretschner:
Abstractions for Model-Based Testing. TACoS 2004: 59-71 - 2002
- Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont:
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS 2002: 30-39 - 2001
- Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont:
Probabilistic abstraction for model checking: An approach based on property testing. Electron. Colloquium Comput. Complex. TR01 (2001) - 2000
- Steve A. Schneider:
Abstraction and Testing in CSP. Formal Aspects Comput. 12(3): 165-181 (2000) - 1999
- Monica Brockmeyer:
Monitoring, testing, and abstractions of real -time specifications. University of Michigan, USA, 1999 - Marc Fuchs, Dirk Fuchs:
Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358 - Steve A. Schneider:
Abstraction and Testing. World Congress on Formal Methods 1999: 738-757 - 1997
- M. Bacis, Giacomo Buonanno, Fabrizio Ferrandi, Franco Fummi, Luca Gerli, Donatella Sciuto:
Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels. ICCD 1997: 654-658 - 1996
- Gérard Boudol, Carolina Lavatelli:
Full Abstraction for Lambda Calculus with Resources and Convergence Testing. CAAP 1996: 302-316 - 1995
- Susan Stepney:
Testing as Abstraction. ZUM 1995: 137-151 - 1994
- Rance Cleaveland, James Riely:
Testing-Based Abstractions for Value-Passing Systems. CONCUR 1994: 417-432 - 1983
- Björn Pehrson:
Abstraction by Structural Reduction. Protocol Specification, Testing, and Verification 1983: 87-94 - 1981
- John D. Gannon, Paul R. McMullin, Richard G. Hamlet:
Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3(3): 211-223 (1981) - 1980
- William E. Howden:
Functional testing and design abstractions. J. Syst. Softw. 1: 307-313 (1980)