MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Testing as Abstraction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

322 documents found, showing 1 through 10. Next 10 →

ATOM

Testing and abstraction
by Markus Schneider, Thomas Behr — 1999
…@(email omitted); Abstract Thomas Behr FernUniversität Hagen, Praktische Informatik IV D-58084 Hagen, Germany thomas…
Cited by 1 (0 self) – Add To MetaCart

Conformance Testing with Abstract State Machines
by Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
…Conformance Testing with Abstract State Machines Wolfgang Grieskamp, Yuri Gurevich, Wolfram…
Add To MetaCart

Combining the Animation and Testing of Abstract Data Types
by Tim Miller, Tim Miller, Paul Strooper, Paul Strooper — 2001 — In Asia-Pacific Conference on Quality Software
… TECHNICAL REPORT No. 01-17 Combining the Animation and Testing of Abstract Data Types Tim Miller Paul…
Cited by 1 (1 self) – Add To MetaCart

Testing, abstraction, theorem proving: better together
by Greta Yorsh — 2006 — In Software Testing and Analysis (ISSTA
…Testing, Abstraction, Theorem Proving: Better Together! ABSTRACT Greta Yorsh ∗ Tel Aviv University…
Cited by 6 (0 self) – Add To MetaCart

Automated black-box testing with abstract VDM oracles
by Bernhard K. Aichernig — 1999 — Computer Safety, Reliability and Security: proceedings of the 18th International Conference, SAFECOMP'99
…Automated Black-Box Testing with Abstract VDM Oracles Bernhard K. Aichernig Technical University…
Cited by 8 (5 self) – Add To MetaCart

Model-Based Formal Specification Directed Testing of Abstract Data Types
by Xiaoping Jia — 1993 — Proc. of the 17th Annual IEEE International Computer Software and Application Conference
…Model-Based Formal Specification Directed Testing of Abstract Data Types Xiaoping Jia Institute…
Cited by 7 (2 self) – Add To MetaCart

EVALUATION OF LATENT SEMANTIC VECTOR MODELS USING A SWEDISH WORD COMPREHENSION TEST Abstract
by Leif Grönqvist
…EVALUATION OF LATENT SEMANTIC VECTOR MODELS USING A SWEDISH WORD COMPREHENSION TEST Abstract Leif…
Add To MetaCart

IN SAFETY TESTING ABSTRACT:
by Dennis A. Smith, R. Scott Obach, T. A. Baillie, M. N. Cayen, H. Fouda, R. J. Gerson, J. D. Green, L. J. Klunk, B. Leblanc, D. G. Perkins, L. A. Shipley, Which Suggested
… IN SAFETY TESTING ABSTRACT: Dennis A. Smith and R. Scott Obach Pharmacokinetics, Dynamics, and Metabolism…
Add To MetaCart

On Capture Power-Aware Test Data Compression for Scan-Based Testing ABSTRACT
by Jia Li, Xiao Liu, Yubin Zhang, Xiaowei Li, Qiang Xu
…On Capture Power-Aware Test Data Compression for Scan-Based Testing ABSTRACT Jia Li †§ , Xiao Liu…
Add To MetaCart

Abstraction and Testing
by Steve Schneider — 1999 — in FM’99, Vol. I, LNCS 1708. Springer-Verlag
…Abstraction and testing Steve Schneider Department of Computer Science Royal Holloway, University…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB