%A Stuart H. Zweben
%T Computer program testing - an introduction
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 3-12

%A Lee J. White
%T Basic mathematical definitions and results in testing
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 13-24

%A Carlo Ghezzi
%T Levels of static program validation
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 27-34

%A Leon J. Osterweil
%A Lloyd D. Fosdick
%A Richard N. Taylor
%T 35-63

%A Lori A. Clarke
%A Debra J. Richardsor
%T Symbolic evaluation methods - implementations and applications
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 65-102

%A Lee J. White
%A Edward I. Cohen
%A Steven J. Zeil
%T A domain strategy for computer program testing
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 103-113

%A William E. Howden
%T Errors, design properties and functional program tests
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 115-127

%A Timothy A. Budd
%T Mutation analysis: ideas, examples, problems and prospects
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 129-148

%A Richard E. Fairley
%T Software testing tools
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 151-186

%A Leon Osterweil
%T A strategy for integrating program testing and analysis
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 187-229
%K TOOLPACK

%A Edward F. Miller,\ Jr.
%A James B. Henderson
%A Thomas E. Mapp
%T A software test bed: philosophy, implementation and application
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 231-238

%A Antonio Cicu
%T The quality of a computer program:
the user view and the software engineer view
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 241-249

%A Pierpaolo Degano
%A Giorgio Levi
%T Software development and testing in an integrated programming environment
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 251-263

%A Edward F. Miller,\ Jr.
%T Experience with industrial software quality ytesting
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 265-277

%A Augusto Celentano
%A Carlo Ghezzi
%A Federica Liguori
%T A systematic approach to system and acceptance testing
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 279-287

%A Allen Haley
%A Stuart Zweben
%T Module integration testing
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 289-299

%A Marco Ceriani
%A Antonio Cicu
%A Marco Maiocchi
%T A methodology for accurate software test specification and auditing
%J Proceedings of the Summer School on Computer Program Testing
%C Urbino, Italy
%D June 1981
%E B. Chandrasekaran
%E S. Radicchi
%O published by North-Holland
%K cpt cpt81
%P 301-325