MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Software Testing and Verification." – sorted by Relevance.

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

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

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

ATOM

Software Testing, Verification And Reliability
by Softw Test Verif, Phong Tran, Jeffrey Gosper, Ian Gorton
… TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2003; 13:1--12 (DOI: 10.1002/stvr.279…
Add To MetaCart

Approach to Development Metrological Software Test for Verification Intelligent Instrumentation
by Roman Kochan
… Test for Verification Intelligent Instrumentation Roman Kochan Institute of Computer Information…
Add To MetaCart

Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation
by Hans Langmaack — 1997 — Foundations of Computer Science: Potential-Theory-Cognition. LNCS
…Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation…
Cited by 6 (4 self) – Add To MetaCart

STVR - Software Testing, Verification and Reliability, Vol. 9, No. 3, pp. 145-166, John Wiley
by Contribution To The, Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Gi, Lorenzo Strigini, Iei-cnr Via S. Maria — 1999 — Software Testing, Verification, and Reliability
…STVR - Software Testing, Verification and Reliability, Vol. 9, No. 3, pp. 145-166, John Wiley…
Add To MetaCart

testing, Software Testing, Verification, and Reliability, To Appear.
by Michael Forbes, Jim Lawrence, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Charlie J. Colbourn, Covering Array Tables, Accessed On July
…-representing extremely large input spaces and are used to efficiently implement blackbox testing for software…
Add To MetaCart

A Framework for Practical, Automated Black-Box Testing of Component-Based Software
by Stephen Edwards Virginia, Stephen H. Edwards — 2001 — Software Testing, Verification and Reliability
… This is a preprint of an article to be published in the June 2001 issue of Software Testing, Verification…
Cited by 1 (0 self) – Add To MetaCart

Using Compiler Optimization Techniques to Detect Equivalent Mutants
by A. Jefferson Offutt, W. Michael Craft — 1994 — The Journal of Software Testing, Verification, and Reliability
… testing, experimental software engineering. The Journal of Software Testing, Verification…
Cited by 14 (5 self) – Add To MetaCart

Black-Box Testing Using Flowgraphs: An Experimental Assessment of Effectiveness and Automation
by Stephen Edwards Virginia, Stephen H. Edwards — 2000 — Software Testing, Verification and Reliability
… of an article published in the December 2000 issue of Software Testing, Verification and Reliability, Vol. 10…
Add To MetaCart

IEEE Trans. on Software Eng. 20,
by Ng Aug, Weide B Weide
… Specifications", J. of Software Testing, Verification and Reliability 1, 4 (1992), 39-55. This paper shows how…
Add To MetaCart

Interprocedural dataflow analysis in the presence of large libraries
by Atanas Rountev, Scott Kagan, Thomas Marlowe — 2006 — In Int. Conf. Compiler Construction, LNCS 3923
… optimization, maintenance, testing, and verification. For software built with reusable components…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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