|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
BF79
|
|
 |
BHO89
|
M. Balcer , W. Hasling , T. Ostrand, Automatic generation of test scripts from formal test specifications, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.210-218, December 13-15, 1989, Key West, Florida, United States
|
| |
CDK85
|
M. Chandrasekharan, B. Dasarathy, and Z. Kishimoto. Requirements-Based Testing of Real-Time Systems: Modeling for Test ability. IEEE Computer, April 1985.
|
| |
Das85
|
B. Dasarat hy. Timing Constraints of Real-Time Systems: Constructs for Expreaaing Them and Methods of Validating Them. IEEE Transactions on Software Engineering, 11(1), January 1985.
|
| |
DH81
|
|
| |
GG75
|
John B. Goodenough and Susan L. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, 1(2), June 1975.
|
| |
GHM87
|
|
| |
GHW85
|
John Guttag, James Horning, and Jeanette Wing. "The Larch Family of Specification Languages". IEEE Transactions on Software Engineering, 11(9), September 1985.
|
| |
GK91
|
Carlo Ghezzi , Richard A. Kennerer, Executing formal specifications: the ASTRAL to TRIO translation approach, Proceedings of the symposium on Testing, analysis, and verification, p.112-122, October 08-10, 1991, Victoria, British Columbia, Canada
[doi> 10.1145/120807.120817]
|
| |
GT79
|
Joseph A. Goguen and Joseph J. Tardo. "An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications". In IEEE Conf. on Specification of Reliable Software, 1979.
|
| |
GW88
|
Joseph A. Goguen and Timothy WinkIer. Introducing OBJ3, 1988.
|
| |
Har87
|
|
| |
How76
|
William E. Howden. Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering, 2(3), September 1976.
|
| |
How78
|
William E. Howden. Theoretical and empirical studies of program testing. IEEE Transactions on Software Engineering, 4(4), July 1978.
|
| |
Hua78
|
J. C. Huang. Instrumentation and software testing. IEEE Computer, 11(4), April 1978.
|
| |
IEE83
|
ACM/SIGSOFT and IEEE-CS Software Engineering Technical Committee. IEEE Standard Glossary of Software Engineering Terminology, Standard 7.29-1983, 1983.
|
| |
Kem85
|
Richard A. Kemmerer. "Testing Formal Specifications to Detect Design Errors". IEEE Transactions on Software Engineering, 11(1), January 1985.
|
| |
KL84
|
J. Knight and N. Leveson. A Large Scale Experiment in N- Version Programming. In Proc. of Ninth Annual Software Engineering Workshop, November 1984.
|
| |
LM89
|
|
| |
LvH85
|
David C. Luckham and Friedrich W. von Henke. An Overview of ANNA, a Specification Language for Ada. IEEE Transactions on Software Engineering, 2(2), March 1985.
|
| |
MH89
|
|
| |
Pan78
|
D. J. Panzl. Automatic software test drivers. IEEE Computer, 11(4), April 1978.
|
| |
Pnu86
|
|
| |
RAO89
|
D. Richardson , S. Aha , L. Osterweil, Integrating testing techniques through process programming, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.219-228, December 13-15, 1989, Key West, Florida, United States
|
| |
RAO92
|
Debra J. Richardson, Stephanie Leif Aha, and T. Owen O 'Malley. Deriving Test Oracles from Multi-Specifications for Reactive Systems. Technical Report TR-92-01, Information and Computer Science, University of California, January 1992.
|
| |
Rau73
|
J. C. Rault. Extension of hardware fault detection models to the verification of software. In W. C, Hetzel, editor, Program Test Methods. Prentice Hall, 1973.
|
| |
RC85a
|
Debra J. Richardson and Lori A. Clarke. "Partition Analysis: A Method Combinmg Testing and Verification". IEEE Transactions on Software Engineering, 11(12), December 1985.
|
| |
RC85b
|
|
| |
RG89
|
R. Razouk , M. Gorlick, Real-time interval logic for reasoning about executions of real-time programs, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.10-19, December 13-15, 1989, Key West, Florida, United States
|
| |
ROT89
|
D. Richardson , O. O'Malley , C. Tittle, Approaches to specification-based testing, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.86-96, December 13-15, 1989, Key West, Florida, United States
|
| |
RT88
|
Debra J. Richardson and Margaret C. Thompson. The Relay Model of Error Detection and Its Application. In Proc. of Second Workshop on Software Testing, Verification, and Analysis. IEEE-CS Press, July 1988.
|
| |
San91
|
Sriram Sankar, Run-time consistency checking of algebraic specifications, Proceedings of the symposium on Testing, analysis, and verification, p.123-129, October 08-10, 1991, Victoria, British Columbia, Canada
[doi> 10.1145/120807.120818]
|
| |
Spi89
|
|
| |
stu73
|
Leon G. Stucki. Automatic Generation of Self-Metric Software. Record of the 1973 IEEE Symposaum on Software Reliabality, April 1973.
|
| |
WD81
|
|
| |
Wey82
|
Elaine J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4), 1982.
|
| |
Wey86
|
|
| |
Win83
|
Jeannette Wing. "A Two- Tiered Approach to Specifying Programs", PhD thesis, Massachusetts Institute of Technology, 1983.
|
| |
Win90
|
|
| |
WO80
|
Elaine J. Weyuker and Thomas J. Ostrand. Theories of Program Testing and the Application of Revealing Subdomains. IEEE Transactions on Software Engineering, 6(3), May 1980
|
| |
YT89
|
|
| |
Zav89
|
|
| |
ZS86
|
|
CITED BY 54
|
|
|
|
|
|
|
|
|
|
|
Lalita Jategaonkar Jagadeesan , Adam Porter , Carlos Puchol , J. Christopher Ramming , Lawrence G. Votta, Specification-based testing of reactive software: tools and experiments: experience report, Proceedings of the 19th international conference on Software engineering, p.525-535, May 17-23, 1997, Boston, Massachusetts, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Karthikeyan Bhargavan , Carl A. Gunter , Moonjoo Kim , Insup Lee , Davor Obradovic , Oleg Sokolsky , Mahesh Viswanathan, Verisim: Formal analysis of network simulations, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.2-13, Sept. 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sara Sprenkle , Emily Gibson , Sreedevi Sampath , Lori Pollock, Automated replay and failure detection for web applications, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
|
|
|
|
|
|
Cyrille Artho , Howard Barringer , Allen Goldberg , Klaus Havelund , Sarfraz Khurshid , Mike Lowry , Corina Pasareanu , Grigore Rosu , Koushik Sen , Willem Visser , Rich Washington, Combining test case generation and runtime verification, Theoretical Computer Science, v.336 n.2-3, p.209-234, 26 May 2005
|
|
|
Michael W. Whalen , Ajitha Rajan , Mats P.E. Heimdahl , Steven P. Miller, Coverage metrics for requirements-based testing, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
|
|
|
|
|
|
Karthikeyan Bhargavan , Carl A. Gunter , Insup Lee , Oleg Sokolsky , Moonjoo Kim , Davor Obradovic , Mahesh Viswanathan, Verisim: Formal Analysis of Network Simulations, IEEE Transactions on Software Engineering, v.28 n.2, p.129-145, February 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert M. Hierons , Kirill Bogdanov , Jonathan P. Bowen , Rance Cleaveland , John Derrick , Jeremy Dick , Marian Gheorghe , Mark Harman , Kalpesh Kapoor , Paul Krause , Gerald Lüttgen , Anthony J. H. Simons , Sergiy Vilkomir , Martin R. Woodward , Hussein Zedan, Using formal specifications to support testing, ACM Computing Surveys (CSUR), v.41 n.2, p.1-76, February 2009
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2