-
2
-
-
0026256511
-
Software testing based on formal specifications: A theory and a tool
-
G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, 1991.
-
(1991)
Software Engineering Journal
, vol.6
, Issue.6
, pp. 387-405
-
-
Bernot, G.1
Gaudel, M.C.2
Marre, B.3
-
3
-
-
0020876533
-
Automatic generation of random self-checking test cases
-
D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. IBM Systems Journal, 22(3):229-245, 1983.
-
(1983)
IBM Systems Journal
, vol.22
, Issue.3
, pp. 229-245
-
-
Bird, D.L.1
Munoz, C.U.2
-
4
-
-
0022810252
-
Test sets generation from algebraic specifications using logic programming
-
L. Bouge, N. Choquet, L. Fribourg, and M.-C. Gaudel. Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software, 6(4):343-360, 1986.
-
(1986)
Journal of Systems and Software
, vol.6
, Issue.4
, pp. 343-360
-
-
Bouge, L.1
Choquet, N.2
Fribourg, L.3
Gaudel, M.-C.4
-
5
-
-
0036980185
-
Korat: Automated testing based on Java predicates
-
ACM Press
-
C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. International Symposium on Software, testing and analysis, pages 123-133. ACM Press, 2002.
-
(2002)
Proc. International Symposium on Software, Testing and Analysis
, pp. 123-133
-
-
Boyapati, C.1
Khurshid, S.2
Marinov, D.3
-
6
-
-
0028460104
-
The automated generation of test cases for compilers
-
June
-
C. Burgess. The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability, 4(2):81-99, June 1994.
-
(1994)
Software Testing, Verification and Reliability
, vol.4
, Issue.2
, pp. 81-99
-
-
Burgess, C.1
-
7
-
-
0029710179
-
The automatic generation of test cases for optimizing Fortran compilers
-
Feb.
-
C. J. Burgess and M. Saidi. The automatic generation of test cases for optimizing Fortran compilers. Information and Software Technology, 38(2):111-119, Feb. 1996.
-
(1996)
Information and Software Technology
, vol.38
, Issue.2
, pp. 111-119
-
-
Burgess, C.J.1
Saidi, M.2
-
8
-
-
0034538940
-
QuickCheck: A lightweight tool for random testing of Haskell programs
-
New York, NY, USA. ACM Press
-
K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 268-279, New York, NY, USA, 2000. ACM Press.
-
(2000)
ICFP '00: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming
, pp. 268-279
-
-
Claessen, K.1
Hughes, J.2
-
9
-
-
0000673732
-
The AETG system: An approach to testing based on combinatorial design
-
July
-
D. Cohen, S. Dalai, M. Fredman, and G. Patton. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7):437-443, July 1997.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-443
-
-
Cohen, D.1
Dalai, S.2
Fredman, M.3
Patton, G.4
-
10
-
-
33750267521
-
-
Foundations of Software Engineering, Microsoft Research. AsmL - Abstract State Machine Language, 2005. http://research.microsoft.com/fse/AsmL/.
-
(2005)
AsmL - Abstract State Machine Language
-
-
-
11
-
-
33745904624
-
Specification and verification of the windows card runtime environment using abstract state machines
-
Microsoft Research, Feb. MSR-TR-99-07
-
Y. Gurevich and C. Wallace. Specification and Verification of the Windows Card Runtime Environment Using Abstract State Machines. Technical report, Microsoft Research, Feb. 1999. MSR-TR-99-07.
-
(1999)
Technical Report
-
-
Gurevich, Y.1
Wallace, C.2
-
12
-
-
0034264806
-
Two-dimensional approximation coverage
-
J. Harm and R. Lämmel. Two-dimensional Approximation Coverage. Informatica, 24(3):355-369, 2000.
-
(2000)
Informatica
, vol.24
, Issue.3
, pp. 355-369
-
-
Harm, J.1
Lämmel, R.2
-
13
-
-
0000194670
-
Elements of style: Analyzing a software design feature with a counterexample detector
-
D. Jackson and C. A. Damon. Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Transactions on Software Engineering, 22(7):484-495, 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.7
, pp. 484-495
-
-
Jackson, D.1
Damon, C.A.2
-
14
-
-
0016971687
-
Symbolic execution and program testing
-
July
-
J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
-
(1976)
Communications of the ACM
, vol.19
, Issue.7
, pp. 385-394
-
-
King, J.C.1
-
15
-
-
0001538613
-
Semantics of context-free languages
-
Corrections in 5:95-96, 1971
-
D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, 1968. Corrections in 5:95-96, 1971.
-
(1968)
Mathematical Systems Theory
, vol.2
, pp. 127-145
-
-
Knuth, D.1
-
16
-
-
84944250318
-
Grammar testing
-
H. Hussmann, editor, Proc. of Fundamental Approaches to Software Engineering (FASE) 2001. Springer-Verlag
-
R. Lämmel. Grammar Testing. In H. Hussmann, editor, Proc. of Fundamental Approaches to Software Engineering (FASE) 2001, volume 2029 of LNCS, pages 201-216. Springer-Verlag, 2001.
-
(2001)
LNCS
, vol.2029
, pp. 201-216
-
-
Lämmel, R.1
-
17
-
-
9744269383
-
Test case characterisation by regular path expressions
-
E. Brinksma and J. Tretmans, editors, Notes Series NS-01-4. BRIGS, Aug.
-
R. Lämmel and J. Harm. Test case characterisation by regular path expressions. In E. Brinksma and J. Tretmans, editors, Proc. Formal Approaches to Testing of Software (FATES'01), Notes Series NS-01-4, pages 109-124. BRIGS, Aug. 2001.
-
(2001)
Proc. Formal Approaches to Testing of Software (FATES'01)
, pp. 109-124
-
-
Lämmel, R.1
Harm, J.2
-
18
-
-
85046437490
-
In-pararneter-order: A test generation strategy for pairwise testing
-
IEEE Computer Society
-
Y. Lei and K.-C. Tai. In-pararneter-order: A test generation strategy for pairwise testing. In HASE, pages 254-261. IEEE Computer Society, 1998.
-
(1998)
HASE
, pp. 254-261
-
-
Lei, Y.1
Tai, K.-C.2
-
19
-
-
0025452154
-
Generating test data with enhanced context-free grammars
-
P. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4):50-56, 1990.
-
(1990)
IEEE Software
, vol.7
, Issue.4
, pp. 50-56
-
-
Maurer, P.1
-
21
-
-
33745173348
-
A sentence generator for testing parsers
-
P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366-375, 1972.
-
(1972)
BIT
, vol.12
, Issue.3
, pp. 366-375
-
-
Purdom, P.1
-
22
-
-
27544460647
-
-
Sept.
-
J. Schlimmer et al. Web Services Policy Framework, Sept. 2004. Available at http://www-128.ibm.com/developerworks/library/specification/wspolfram/.
-
(2004)
Web Services Policy Framework
-
-
Schlimmer, J.1
-
23
-
-
17644387253
-
Using production grammars in software testing
-
USENIX, editor, Berkeley, CA, USA. USENIX
-
E. G. Sirer and B. N. Bershad. Using production grammars in software testing. In USENIX, editor, Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99), October 3-5, 1999, Austin, Texas, USA, pages 1-13, Berkeley, CA, USA, 1999. USENIX.
-
(1999)
Proceedings of the 2nd Conference on Domain-specific Languages (DSL '99), October 3-5, 1999, Austin, Texas, USA
, pp. 1-13
-
-
Sirer, E.G.1
Bershad, B.N.2
-
24
-
-
0002540707
-
Massive stochastic testing for SQL
-
Microsoft Research, Redmond
-
D. Slutz. Massive Stochastic Testing for SQL. Technical Report MSR-TR-98-21, Microsoft Research, Redmond, 1998.
-
(1998)
Technical Report
, vol.MSR-TR-98-21
-
-
Slutz, D.1
-
25
-
-
33745931528
-
-
A shorter form of the paper appeared, New York, USA
-
A shorter form of the paper appeared in the Proc. of the 24th VLDB Conference, New York, USA, 1998.
-
(1998)
Proc. of the 24th VLDB Conference
-
-
-
27
-
-
0036160958
-
A test generation strategy for pairwise testing
-
K. Tai and Y. Lei. A Test Generation Strategy for Pairwise Testing. IEEE Transactions on Software Engineering, 28(1):109-111, 2002.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.1
, pp. 109-111
-
-
Tai, K.1
Lei, Y.2
-
29
-
-
84941155183
-
-
appeared
-
also appeared in FSE/ESEC 2005.
-
FSE/ESEC 2005
-
-
-
32
-
-
33745887067
-
-
Master's thesis, Universiteit Twente, Enschede, The Netherlands, June
-
V. V. Zaytsev. Combinatorial test set generation: Concepts, implementation, case study. Master's thesis, Universiteit Twente, Enschede, The Netherlands, June 2004.
-
(2004)
Combinatorial Test Set Generation: Concepts, Implementation, Case Study
-
-
Zaytsev, V.V.1
|