Computer program testing: proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981

Front Cover
B. Chandrasekaran, Sergio Radicchi
North-Holland Pub. Co., 1981 - Computers - 325 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

Computer Program Testing An Introduction
3
LJ White
18
Error and Anomaly Diagnosis through Data Flow Analysis
35
Copyright

12 other sections not shown

Common terms and phrases

References from web pages

Methodologies for Computer Program Testing.
This report summarizes research, on computer program testing, in particular the development of a strategy called the Domain Testing Strategy
stinet.dtic.mil/ oai/ oai?verb=getRecord& metadataPrefix=html& identifier=ADA077414

Mutation-based software testing using program schemata
Mutation-based software testing using program schemata. Full text, pdf format Pdf (428 KB). Source, ACM Southeast Regional Conference archive ...
portal.acm.org/ citation.cfm?id=503720.503749

ocred document
Page 1. OBJTEST: An Experimental Testing Tool. for Algebraic Specifications. mrWoodward. 1. Introduction. Algebraic specifications involve the development ...
ieeexplore.ieee.org/ iel3/ 1636/ 4306/ 00167603.pdf?arnumber=167603

A test environment using symbolic program trace
Computing 53289-299 (1994). coltl[,ir. O Springer-Verlag 1994. Printed in Austria. A Test Environment Using Symbolic Program Trace. hme Berlejung, ...
www.springerlink.com/ index/ 2168462RPP15RT54.pdf

Information and Software Technology : Fault-based testing without ...
Quick Search, Title, abstract, keywords, Author, eg js smith. Search tips (Opens new window), Journal/book title, Volume, Issue, Page, Clear all fields ...
linkinghub.elsevier.com/ retrieve/ pii/ S0950584902001295

Chandra-vita
October 1995. Residence: 2053 Iuka Avenue. Columbus, Ohio 4320l. Home: 614-297-0470. Office: 614-292-0923. EDUCATION. July l957 - April l963. ...
www.cse.ohio-state.edu/ ~chandra/ vita.htm

Influence of Thermomechanical Treatment on Porosity in Al-Si-Mg ...
AJSTD Vol. 23 Issue 3 pp. 217-222 (2006). A FUZZY LOGIC BASED METHOD FOR. ANALYSING TEST RESULTS. Le Xuan Vinh. ∗. and Tran Hong Quan ...
www.vjol.info/ index.php/ ASEAN/ article/ viewPDFInterstitial/ 421/ 344

Fault-Based Testing in the Absence of an Oracle
Fault-Based Testing in the Absence of an Oracle. £. ty Chen. Swinburne University of. Technology, Australia. th Tse. †. and Zhiquan Zhou. The University of ...
doi.ieeecomputersociety.org/ 10.1109/ CMPSAC.2001.960614

JSTOR: Instant Quality Control of Large Batch Processing Jobs
Instant Quality Control of Large Batch Processing Jobs. Niv Ahituv. Meir Zelek. MIS Quarterly, Vol. 11, No. 3, 313-323. Sep., 1987. ...
links.jstor.org/ sici?sici=0276-7783(198709)11%3A3%3C313%3AIQCOLB%3E2.0.CO%3B2-G

November 1, 1995
Final Report. Colorado Advanced Software Institute. Using Fault Injection to. Test Software Recovery Code. November 1, 1995. Principal Investigator ...
www.cs.colostate.edu/ casi/ REPORTS/ Bieman95.pdf

Bibliographic information