![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
TAV 1989: Key West, Florida, USA
- Richard A. Kemmerer:
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989. ACM 1989, ISBN 0-89791-342-6 - William E. Howden:
Validating Programs without Specifications. 2-9 - Rami R. Razouk, Michael M. Gorlick:
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. 10-19 - William D. Young:
Verified Compilation in micro-Gypsy. 20-26 - Richard G. Hamlet:
Theoretical Comparison of Testing Methods. 28-37 - Bingchiang Jeng, Elaine J. Weyuker:
Some Observations on Partition Testing. 38-47 - Derek F. Yates, Nicos Malevris:
Reducing the Effects of Infeasible Paths in Branch Testing. 48-54 - Byoungju Choi, Aditya P. Mathur, Brian Pattison:
PMothra: Scheduling Mutants for Execution on a Hypercube. 58-65 - Kurt M. Olender, Leon J. Osterweil:
Cesar: A Static Sequencing Constraint Analyzer. 66-74 - Gordon Kotik, Lawrence Markosian:
Automating Software Analysis and Testing Using a Program Transformation System. 75-84 - Debra J. Richardson, T. Owen O'Malley, C. Tittle:
Approaches to Specification-Based Testing. 86-96 - Daniel Hoffman, C. Brealey:
Module Test Case Generation. 97-102 - Mark Moriconi:
A Practical Approach to Semantic Configuration Management. 103-113 - D. Perry:
The Logic of Propagation in the Inscape Environment. 114-121 - George S. Avrunin, Jack C. Wileden, Laura K. Dillon:
Experiments in Automated Analysis of Concurrent Software Systems. 124-130 - A. Jefferson Offutt:
The Coupling Effect: Fact or Fiction. 131-140 - John H. Rowland, Y. Zuyuan:
Experimental Comparison of Three System Test Strategies Preliminary Report. 141-149 - Susan L. Gerhart:
Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems. 152-155 - Mary Jean Harrold, Mary Lou Soffa:
Interprocedual Data Flow Testing. 158-167 - Andy Podgurski, Lori A. Clarke:
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. 168-178 - James M. Bieman, Janet L. Schultz:
Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion. 179-186 - David S. Rosenblum, David C. Luckham:
Testing the Correctness of Tasking Supervisors with TSL Specifications. 187-196 - Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck:
Integrated Concurrency Analysis in a Software Development Enviornment. 200-209 - Marc J. Balcer, William M. Hasling, Thomas J. Ostrand:
Automatic Generation of Test Scripts from Formal Test Specifications. 210-218 - Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil:
Integrating Testing Techniques Through Process Programming. 219-228
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.