-
2
-
-
0031381146
-
CASTING: A formally based software test generation method
-
Hiroshima, Japan
-
AERTRYCK, L. V., BENVENISTE, M., AND LE METAYER, D. 1997. CASTING: A formally based software test generation method. In ICFEM'97:1st International Conference on Formal Engineering Methods, IEEE (Hiroshima, Japan).
-
(1997)
ICFEM'97:1st International Conference on Formal Engineering Methods, IEEE
-
-
AERTRYCK, L.V.1
BENVENISTE, M.2
LE METAYER, D.3
-
3
-
-
0002865451
-
An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours
-
Elsevier North-Holland, Amsterdam, The Netherlands
-
AHO, A. V., DAHBURA, A. T., LEE, D., AND UYAR, M. U. 1988. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In Protocol Specification, Testing, and Verification VIII. Elsevier (North-Holland), Amsterdam, The Netherlands, 75-86.
-
(1988)
Protocol Specification, Testing, and Verification VIII
, pp. 75-86
-
-
AHO, A.V.1
DAHBURA, A.T.2
LEE, D.3
UYAR, M.U.4
-
4
-
-
84961329517
-
-
AICHERNIG, B. K. 1999. Automated black-box testing with abstract VDM oracles. In Computer Safety, Reliability and Security: The 18th International Conference, SAFECOMP'99, Toulouse, France, September 1999, M. Felici, K. Kanoun, and A. Pasquini, Eds. Lecture Notes in Computer Science, 1698. Springer-Verlag, Berlin, Germany, 250-259.
-
AICHERNIG, B. K. 1999. Automated black-box testing with abstract VDM oracles. In Computer Safety, Reliability and Security: The 18th International Conference, SAFECOMP'99, Toulouse, France, September 1999, M. Felici, K. Kanoun, and A. Pasquini, Eds. Lecture Notes in Computer Science, vol. 1698. Springer-Verlag, Berlin, Germany, 250-259.
-
-
-
-
7
-
-
84881185846
-
Test-case calculation through abstraction
-
Formal Methods Europe FME 2001, J. N. Oliveira and R Zave, Eds, Springer-Verlag, Berlin, Germany
-
AICHERNIG, B. K. 2001b. Test-case calculation through abstraction. In Formal Methods Europe (FME 2001), J. N. Oliveira and R Zave, Eds. Lecture Notes in Computer Science, vol. 2021. Springer-Verlag, Berlin, Germany, 571-589.
-
(2001)
Lecture Notes in Computer Science
, vol.2021
, pp. 571-589
-
-
AICHERNIG, B.K.1
-
9
-
-
0039243113
-
Assessing the quality of specification-based testing
-
Chapman and Hall, London, U.K
-
ALLEN, S. P. AND WOODWARD, M. R. 1996. Assessing the quality of specification-based testing. In Proceedings of the 3rd International Conference on Achieving Quality in Software. Chapman and Hall, London, U.K., 341-354.
-
(1996)
Proceedings of the 3rd International Conference on Achieving Quality in Software
, pp. 341-354
-
-
ALLEN, S.P.1
WOODWARD, M.R.2
-
10
-
-
0000050873
-
Hybrid Automata: An Algorithmic approach to the specification and analysis of hybrid systems
-
Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds
-
ALUR, R., COURCOUBETIS, C., HENZINGER, T., AND HO, P. 1993. Hybrid Automata: An Algorithmic approach to the specification and analysis of hybrid systems. In Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. Lecture Notes in Computer Science, vol. 736, 209-229.
-
(1993)
Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
ALUR, R.1
COURCOUBETIS, C.2
HENZINGER, T.3
HO, P.4
-
11
-
-
85031771187
-
Automata for modeling real-time systems
-
Automata, Languages and Programming, 17th International Colloquium, ICALP90, Springer-Verlag, Berlin, Germany
-
ALUR, R. AND DILL, D. 1990. Automata for modeling real-time systems. In Automata, Languages and Programming, 17th International Colloquium, ICALP90. Lecture Notes in Computer Science, vol. 443. Springer-Verlag, Berlin, Germany, 322-335.
-
(1990)
Lecture Notes in Computer Science
, vol.443
, pp. 322-335
-
-
ALUR, R.1
DILL, D.2
-
12
-
-
0028413052
-
A theory of timed automata
-
ALUR, R. AND DILL, D. L. 1994. A theory of timed automata. Theoret. Comput. Sci. 126, 2, 183-235.
-
(1994)
Theoret. Comput. Sci
, vol.126
, Issue.2
, pp. 183-235
-
-
ALUR, R.1
DILL, D.L.2
-
13
-
-
84974663202
-
Modular specification of hybrid systems in CHARON. In Hybrid Systems: Computation and Control
-
ALUR, R., GROSU, R., HUR, Y., KUMAR, V., AND LEE, I. 2000. Modular specification of hybrid systems in CHARON. In Hybrid Systems: Computation and Control, Third International Workshop (HSCC). 6-19.
-
(2000)
Third International Workshop (HSCC)
, pp. 6-19
-
-
ALUR, R.1
GROSU, R.2
HUR, Y.3
KUMAR, V.4
LEE, I.5
-
14
-
-
84958044638
-
-
ALUR, R. AND KURSHAN, R. 1996. Timing analysis in COSPAN. In Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Rutgers University, New Brunswick, NJ, USA, R. Alur, T. A. Henziger, and E. D. Sontag, Eds. Lecture Notes in Computer Science, 1066, 220-231.
-
ALUR, R. AND KURSHAN, R. 1996. Timing analysis in COSPAN. In Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Rutgers University, New Brunswick, NJ, USA, R. Alur, T. A. Henziger, and E. D. Sontag, Eds. Lecture Notes in Computer Science, vol. 1066, 220-231.
-
-
-
-
15
-
-
3142783040
-
BZ-testing-tools: A tool-set for test generation from Z and B using constraint logic programming
-
INRIA, Brno, Czech Republic
-
AMBERT, F., BOUQUET, F., CHEMIN, S., GUENAUD, S., LEGEARD, B., PEUREUX, F., UTTING, M., AND VACELET, N. 2002. BZ-testing-tools: A tool-set for test generation from Z and B using constraint logic programming. In Formal Approaches to Testing Software (FATES 2002). INRIA, Brno, Czech Republic, 105-120.
-
(2002)
Formal Approaches to Testing Software (FATES 2002)
, pp. 105-120
-
-
AMBERT, F.1
BOUQUET, F.2
CHEMIN, S.3
GUENAUD, S.4
LEGEARD, B.5
PEUREUX, F.6
UTTING, M.7
VACELET, N.8
-
17
-
-
85022152234
-
Using model checking to generate tests from specifications
-
ICFEM, Brisbane, Australia
-
AMMANN, P., BLACK, P. E., AND MAJURSKI, W 1998. Using model checking to generate tests from specifications. In Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM, Brisbane, Australia). 46-54.
-
(1998)
Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods
, pp. 46-54
-
-
AMMANN, P.1
BLACK, P.E.2
MAJURSKI, W.3
-
18
-
-
0028555261
-
Using formal methods to derive test frames in category-partition testing
-
COMPASS, Gaithersburg, MD
-
AMMANN, R AND OFFUTT, J. 1994. Using formal methods to derive test frames in category-partition testing. In Proceedings of the 9th Annual Conference on Computer Assurance (COMPASS, Gaithersburg, MD). 69-80.
-
(1994)
Proceedings of the 9th Annual Conference on Computer Assurance
, pp. 69-80
-
-
AMMANN, R.1
OFFUTT, J.2
-
20
-
-
0003329436
-
Hybrid Systems II
-
ANTSAKLIS, R, KOHN, W, NERODĚ, A, AND SASTRY, S, Eds, Springer-Verlag
-
ANTSAKLIS, R, KOHN, W., NERODĚ, A., AND SASTRY, S., Eds. 1995. Hybrid Systems II. Lecture Notes in Computer Science, vol. 999. Springer-Verlag.
-
(1995)
Lecture Notes in Computer Science
, vol.999
-
-
-
21
-
-
0003339698
-
Hybrid Systems IV
-
ANTSAKLIS, P. J, Ed, Springer-Verlag, Berlin, Germany
-
ANTSAKLIS, P. J., Ed. 1997. Hybrid Systems IV. Lecture Notes in Computer Science, vol. 1237. Springer-Verlag, Berlin, Germany.
-
(1997)
Lecture Notes in Computer Science
, vol.1237
-
-
-
22
-
-
0003334873
-
Hybrid Systems
-
Springer-Verlag
-
ANTSAKLIS, R J., KOHN, W., LEMMON, M., NERODE, A., AND SASTRY, S. 1999. Hybrid Systems. Lecture Notes in Computer Science, vol. 1567. Springer-Verlag.
-
(1999)
Lecture Notes in Computer Science
, vol.1567
-
-
ANTSAKLIS, R.J.1
KOHN, W.2
LEMMON, M.3
NERODE, A.4
SASTRY, S.5
-
23
-
-
18244372433
-
Combining test case generation and runtime verification
-
ARTHO, C., BARRINGER, H., GOLDBERG, A., HAVELUND, K., KHURSHID, S., LOWRY, M., PASAREANU, C., ROSU, G., SEN, K., VISSER, W., AND WASHINGTON, R. 2005. Combining test case generation and runtime verification. Theoret. Comput. Sci. 336, 2-3, 209-234.
-
(2005)
Theoret. Comput. Sci
, vol.336
, Issue.2-3
, pp. 209-234
-
-
ARTHO, C.1
BARRINGER, H.2
GOLDBERG, A.3
HAVELUND, K.4
KHURSHID, S.5
LOWRY, M.6
PASAREANU, C.7
ROSU, G.8
SEN, K.9
VISSER, W.10
WASHINGTON, R.11
-
25
-
-
0003020074
-
Communicating stream X-machines systems are no more than X-machines
-
BALANESCU, T., COWLING, T., GEORGESCU, H., GHEORGHE, M., HOLCOMBE, M., AND VERTAN, C 1999. Communicating stream X-machines systems are no more than X-machines. J. Univers. Comput. Sci. 5, 494-507.
-
(1999)
J. Univers. Comput. Sci
, vol.5
, pp. 494-507
-
-
BALANESCU, T.1
COWLING, T.2
GEORGESCU, H.3
GHEORGHE, M.4
HOLCOMBE, M.5
VERTAN, C.6
-
26
-
-
84894630000
-
Automatically validating temporal safety properties of interfaces
-
SPIN 2001, Springer-Verlag, Berlin, Germany
-
BALL, T. AND RAJAMANI, S. 2001. Automatically validating temporal safety properties of interfaces. In SPIN 2001. Lecture Notes in Computer Science, vol. 2057. Springer-Verlag, Berlin, Germany, 103-122.
-
(2001)
Lecture Notes in Computer Science
, vol.2057
, pp. 103-122
-
-
BALL, T.1
RAJAMANI, S.2
-
27
-
-
35048859745
-
Towards a tool environment for model-based testing with ASML
-
Formal Approaches to Testing, Springer-Verlag, Berlin, Germany
-
BARNETT, M., GRIESKAMP, W., NACHMANSON, L., SCHULTE, W., TILLMANN, N., AND VEANES, M. 2003. Towards a tool environment for model-based testing with ASML. In Formal Approaches to Testing. Lecture Notes in Computer Science, vol. 2931. Springer-Verlag, Berlin, Germany, 252-266.
-
(2003)
Lecture Notes in Computer Science
, vol.2931
, pp. 252-266
-
-
BARNETT, M.1
GRIESKAMP, W.2
NACHMANSON, L.3
SCHULTE, W.4
TILLMANN, N.5
VEANES, M.6
-
29
-
-
84958037228
-
-
BENGTSSON, J., LARSEN, K. G., LARSON, F., PETTERSSON, P., AND YI, W. 1995. UppAal: A tool suite for automatic verification of real-time systems. In Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Rutgers University, New Brunswick, NJ, USA, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Lecture Notes in Computer Science, 1066. Springer, Berlin, Germany, 232-243.
-
BENGTSSON, J., LARSEN, K. G., LARSON, F., PETTERSSON, P., AND YI, W. 1995. UppAal: A tool suite for automatic verification of real-time systems. In Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Rutgers University, New Brunswick, NJ, USA, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Lecture Notes in Computer Science, vol. 1066. Springer, Berlin, Germany, 232-243.
-
-
-
-
30
-
-
0032667939
-
-
BENJAMIN, M., GEIST, D., HARTMAN, A., MAS, G., SMEETS, R., AND WOLFSTHAL, Y 1999. A study in coverage-driven test generation. In Proceedings of the 36th Design Automation Conference (DAC). 970-975.
-
BENJAMIN, M., GEIST, D., HARTMAN, A., MAS, G., SMEETS, R., AND WOLFSTHAL, Y 1999. A study in coverage-driven test generation. In Proceedings of the 36th Design Automation Conference (DAC). 970-975.
-
-
-
-
31
-
-
0026256511
-
Software testing based on formal specifications: A theory and a tool
-
BERNOT, G., GAUDEL, M.-C., AND MARRE, B. 1991. Software testing based on formal specifications: A theory and a tool. IEE/BCS Softw. Eng. J. 6, 6, 387-405.
-
(1991)
IEE/BCS Softw. Eng. J
, vol.6
, Issue.6
, pp. 387-405
-
-
BERNOT, G.1
GAUDEL, M.-C.2
MARRE, B.3
-
32
-
-
4544284873
-
Generating tests from counterexamples
-
IEEE Computer Society Press, Los Alamitos, CA
-
BEYER, D., CHLIPALA, A., HENZINGER, T, JHALA, R., AND MAJUMDAR, R. 2004. Generating tests from counterexamples. In Proceedings of the ICSE 2004. IEEE Computer Society Press, Los Alamitos, CA, 326-335.
-
(2004)
Proceedings of the ICSE 2004
, pp. 326-335
-
-
BEYER, D.1
CHLIPALA, A.2
HENZINGER, T.3
JHALA, R.4
MAJUMDAR, R.5
-
33
-
-
0031188844
-
Making the most of formal specification through animation, testing and proof
-
BICARREGUI, J., DICK, J., MATTHEWS, B., AND WOODS, E. 1997. Making the most of formal specification through animation, testing and proof. Sci. Comput. Program. 29/1-2, 55-80.
-
(1997)
Sci. Comput. Program
, vol.29
, Issue.1-2
, pp. 55-80
-
-
BICARREGUI, J.1
DICK, J.2
MATTHEWS, B.3
WOODS, E.4
-
34
-
-
33244473146
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
-
Springer-Verlag, Berlin, Germany
-
BIDOIT, M. AND MOSSES, R 2003. CASL User Manual: Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science, vol. 2900. Springer-Verlag, Berlin, Germany.
-
(2003)
Lecture Notes in Computer Science
, vol.2900
-
-
BIDOIT, M.1
MOSSES, R.2
-
36
-
-
0022810252
-
Test sets generation from algebraic specifications using logic programming
-
BOUGÉ, L., CHOQUET, N., FRIBOURG, L., AND GAUDEL, M.-C. 1986. Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. 6, 4, 343-360.
-
(1986)
J. Syst. Softw
, vol.6
, Issue.4
, pp. 343-360
-
-
BOUGÉ, L.1
CHOQUET, N.2
FRIBOURG, L.3
GAUDEL, M.-C.4
-
37
-
-
0036392077
-
-
BOWEN, J. P, BOGDANOV, K, CLARK, J, HARMAN, M, HIERONS, R. M, AND KRAUSE, R 2002. FORTEST: Formal methods and testing. In Proceedings of the 26th IEEE Computer Software and Applications COMPSAC, 91-101
-
BOWEN, J. P., BOGDANOV, K., CLARK, J., HARMAN, M., HIERONS, R. M., AND KRAUSE, R 2002. FORTEST: Formal methods and testing. In Proceedings of the 26th IEEE Computer Software and Applications (COMPSAC). 91-101.
-
-
-
-
38
-
-
0002176420
-
Modal logics and mu-calculi: An introduction
-
Elsevier Science, Amsterdam, The Netherlands
-
BRADFIELD, J. AND STIRLING, C. 2001. Modal logics and mu-calculi: An introduction. In Handbook of Process Algebra. Elsevier Science, Amsterdam, The Netherlands, 293-330.
-
(2001)
Handbook of Process Algebra
, pp. 293-330
-
-
BRADFIELD, J.1
STIRLING, C.2
-
39
-
-
0002147262
-
A theory for the derivation of tests
-
North-Holland, Amsterdam, The Netherlands
-
BRINKSMA, E. 1988. A theory for the derivation of tests. In Protocol Specification, Testing, and Verification VIII. North-Holland, Amsterdam, The Netherlands, 63-74.
-
(1988)
Protocol Specification, Testing, and Verification VIII
, pp. 63-74
-
-
BRINKSMA, E.1
-
40
-
-
27944504382
-
Developments in testing transition systems
-
Kluwer, Dordrecht, The Netherlands
-
BRINKSMA, E., HEERINK, L., AND TRETMANS, J. 1997. Developments in testing transition systems. InIFIP TC6 10th International Workshop on Testing of Communicating Systems. Kluwer, Dordrecht, The Netherlands, 143-166.
-
(1997)
InIFIP TC6 10th International Workshop on Testing of Communicating Systems
, pp. 143-166
-
-
BRINKSMA, E.1
HEERINK, L.2
TRETMANS, J.3
-
41
-
-
33645625826
-
Factorized test generation for multi-input/output transition systems
-
Kluwer, Dordrecht, The Netherlands
-
BRINKSMA, E., HEERINK, L., AND TRETMANS, J. 1998. Factorized test generation for multi-input/output transition systems. In IFIP TC611th International Workshop on Testing of Communicating Systems. Kluwer, Dordrecht, The Netherlands, 67-82.
-
(1998)
IFIP TC611th International Workshop on Testing of Communicating Systems
, pp. 67-82
-
-
BRINKSMA, E.1
HEERINK, L.2
TRETMANS, J.3
-
43
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
BRYANT, R. E. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35, 8, 677-691.
-
(1986)
IEEE Trans. Comput
, vol.35
, Issue.8
, pp. 677-691
-
-
BRYANT, R.E.1
-
45
-
-
0005725443
-
Automated software testing using model-checking
-
Rutgers University, Brunswick, NJ
-
CALLAHAN, J., SCHNEIDER, F., AND EASTERBROOK, S. 1996. Automated software testing using model-checking. In SPIN '96. Rutgers University, Brunswick, NJ, 118-127.
-
(1996)
SPIN '96
, pp. 118-127
-
-
CALLAHAN, J.1
SCHNEIDER, F.2
EASTERBROOK, S.3
-
46
-
-
0013142755
-
Conformance tests for real-time systems with timed automata specifications
-
CARDELL-OLIVER, R. 2000. Conformance tests for real-time systems with timed automata specifications. Form. Aspects Comput. 12, 5, 350-371.
-
(2000)
Form. Aspects Comput
, vol.12
, Issue.5
, pp. 350-371
-
-
CARDELL-OLIVER, R.1
-
47
-
-
61949437920
-
-
CARRINGTON, D. A. AND STOCKS, R A. 1994. A tale of two paradigms: Formal methods and software testing. In Z User Workshop, Cambridge 1994, J. P. Bowen and J. A. Hall, Eds. Workshops in Computing. Springer-Verlag, Berlin, Germany, 51-68.
-
CARRINGTON, D. A. AND STOCKS, R A. 1994. A tale of two paradigms: Formal methods and software testing. In Z User Workshop, Cambridge 1994, J. P. Bowen and J. A. Hall, Eds. Workshops in Computing. Springer-Verlag, Berlin, Germany, 51-68.
-
-
-
-
48
-
-
0343734747
-
Testing methods for SDL systems
-
CAVALLI, A. R., CHIN, B.-M., AND CHON, K. 1996. Testing methods for SDL systems. Comput. Netw. ISDN Syst. 28, 12, 1669-1683.
-
(1996)
Comput. Netw. ISDN Syst
, vol.28
, Issue.12
, pp. 1669-1683
-
-
CAVALLI, A.R.1
CHIN, B.-M.2
CHON, K.3
-
49
-
-
84869255731
-
-
CAVALLI, A. R., LEE, D., RINDERKNECHT, C., AND ZAÏDI, F. 1999. Hit-or-Jump: An algorithm for embedded testing with applications to in services. In Proceedings of the Conference on Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII). 41-56.
-
CAVALLI, A. R., LEE, D., RINDERKNECHT, C., AND ZAÏDI, F. 1999. Hit-or-Jump: An algorithm for embedded testing with applications to in services. In Proceedings of the Conference on Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII). 41-56.
-
-
-
-
50
-
-
33646926935
-
On test sequence generation for protocols
-
CHAN, W. Y. L., VUONG, S. T., AND ITO, M. R. 1989. On test sequence generation for protocols. In Proceedings of the IFIP WG6.1 Ninth International Symposium, on Protocol Specification, Testing and Verification. 119-130.
-
(1989)
Proceedings of the IFIP WG6.1 Ninth International Symposium, on Protocol Specification, Testing and Verification
, pp. 119-130
-
-
CHAN, W.Y.L.1
VUONG, S.T.2
ITO, M.R.3
-
52
-
-
0032108147
-
In black and white: An integrated approach to class-level testing of object-oriented programs
-
CHEN, H. Y., TSE, T. H., CHAN, F. T., AND CHEN, T. Y. 1998. In black and white: An integrated approach to class-level testing of object-oriented programs. ACM Trans. Softw. Eng. Methodol. 7, 3, 250-295.
-
(1998)
ACM Trans. Softw. Eng. Methodol
, vol.7
, Issue.3
, pp. 250-295
-
-
CHEN, H.Y.1
TSE, T.H.2
CHAN, F.T.3
CHEN, T.Y.4
-
53
-
-
0002908054
-
TACCLE: A methodology for object-oriented software testing at the class and cluster levels
-
CHEN, H. Y., TSE, T. H., AND CHEN, T. Y. 2001. TACCLE: A methodology for object-oriented software testing at the class and cluster levels. ACM Trans. Softw. Eng. Methodol. 10, 4, 56-109.
-
(2001)
ACM Trans. Softw. Eng. Methodol
, vol.10
, Issue.4
, pp. 56-109
-
-
CHEN, H.Y.1
TSE, T.H.2
CHEN, T.Y.3
-
54
-
-
0034224520
-
ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique
-
CHEN, H. Y., TSE, T. H., AND DENG, Y. T. 2000. ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique. Inform. Softw. Technol. 42, 10, 677-686.
-
(2000)
Inform. Softw. Technol
, vol.42
, Issue.10
, pp. 677-686
-
-
CHEN, H.Y.1
TSE, T.H.2
DENG, Y.T.3
-
55
-
-
1542744255
-
Test data generation using a prolog with constraints
-
IEEE Computer Society Press, Los Alamitos, CA
-
CHOQUET, N. 1986. Test data generation using a prolog with constraints. In Proceedings of the Workshop on Software Testing. IEEE Computer Society Press, Los Alamitos, CA, 132-141.
-
(1986)
Proceedings of the Workshop on Software Testing
, pp. 132-141
-
-
CHOQUET, N.1
-
56
-
-
0017973244
-
Testing software design modeled by finite state machines
-
CHOW, T. S. 1978. Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. 4, 178-187.
-
(1978)
IEEE Trans. Softw. Eng
, vol.4
, pp. 178-187
-
-
CHOW, T.S.1
-
57
-
-
61949455978
-
Engineering formal requirements: Analysis and testing
-
SEKE, Lake Tahoe, CA
-
CIANCARINI, R, CIMATO, S., AND MASCOLO, C. 1996. Engineering formal requirements: Analysis and testing. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE, Lake Tahoe, CA). 385-392.
-
(1996)
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering
, pp. 385-392
-
-
CIANCARINI, R.1
CIMATO, S.2
MASCOLO, C.3
-
58
-
-
84957091429
-
NuSMV: A new symbolic model verifier
-
CAV '99, Springer-Verlag, Berlin, Germany
-
CIMATTI, A., CLARKE, E. M., GIUNCHIGLIA, F., AND ROVERI, M. 1999. NuSMV: A new symbolic model verifier. In CAV '99. Lecture Notes in Computer Science, vol. 1464. Springer-Verlag, Berlin, Germany, 495-499.
-
(1999)
Lecture Notes in Computer Science
, vol.1464
, pp. 495-499
-
-
CIMATTI, A.1
CLARKE, E.M.2
GIUNCHIGLIA, F.3
ROVERI, M.4
-
59
-
-
85037030721
-
Synthesis of synchronization skeletons for branching time temporal logic
-
Workshop on Logics of Programs, Springer-Verlag, Berlin, Germany
-
CLARKE, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Workshop on Logics of Programs. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, Berlin, Germany, 52-71.
-
(1981)
Lecture Notes in Computer Science
, vol.131
, pp. 52-71
-
-
CLARKE, E.M.1
EMERSON, E.A.2
-
60
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
CLARKE, E. M., EMERSON, E. A., AND SISTALA, A. R 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 2, 244-263.
-
(1986)
ACM Trans. Program. Lang. Syst
, vol.8
, Issue.2
, pp. 244-263
-
-
CLARKE, E.M.1
EMERSON, E.A.2
SISTALA, A.R.3
-
61
-
-
0003962322
-
-
MIT Press, Cambridge, MA
-
CLARKE, E. M., GRUMBERG, O., AND PELED, D. 1999. Model Checking. MIT Press, Cambridge, MA.
-
(1999)
Model Checking
-
-
CLARKE, E.M.1
GRUMBERG, O.2
PELED, D.3
-
62
-
-
0000289556
-
Formal methods: State of the art and future directions
-
CLARKE, E. M. AND WING, J. M. 1996. Formal methods: State of the art and future directions. ACM Comput. Surv. 28, 4, 626-643.
-
(1996)
ACM Comput. Surv
, vol.28
, Issue.4
, pp. 626-643
-
-
CLARKE, E.M.1
WING, J.M.2
-
63
-
-
0020152967
-
A close look at domain testing
-
CLARKE, L. A., HASSELL, J., AND RICHARDSON, D. J. 1982. A close look at domain testing. IEEE Trans. Softw. Eng. 8, 4, 380-390.
-
(1982)
IEEE Trans. Softw. Eng
, vol.8
, Issue.4
, pp. 380-390
-
-
CLARKE, L.A.1
HASSELL, J.2
RICHARDSON, D.J.3
-
64
-
-
4544225592
-
-
SUNY, Stony Brook, NY
-
CLEAVELAND, R., LI, T., AND SIMS, S. 2000. The Concurrency Workbench of the New Century. SUNY, Stony Brook, NY.
-
(2000)
The Concurrency Workbench of the New Century
-
-
CLEAVELAND, R.1
LI, T.2
SIMS, S.3
-
65
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
IEEE Computer Society Press, Los Alamitos, CA
-
CORBETT, J. C., DWYER, M. B., HATCLIFF, J., LAUBACH, S., PASAREANU, C. S., ROBBY, AND ZHENG, H. 2000. Bandera: Extracting finite-state models from Java source code. In Proceedings of the International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 439-448.
-
(2000)
Proceedings of the International Conference on Software Engineering
, pp. 439-448
-
-
CORBETT, J.C.1
DWYER, M.B.2
HATCLIFF, J.3
LAUBACH, S.4
PASAREANU, C.S.5
ROBBY6
ZHENG, H.7
-
67
-
-
61949213617
-
-
CUSACK, E. AND WEZEMAN, C. 1993. Deriving tests for objects specified in z. In Z User Workshop, London 1992, J. R Bowen and J. E. Nicholls, Eds. Workshops in Computing. Springer-Verlag, Berlin, Germany, 180-195.
-
CUSACK, E. AND WEZEMAN, C. 1993. Deriving tests for objects specified in z. In Z User Workshop, London 1992, J. R Bowen and J. E. Nicholls, Eds. Workshops in Computing. Springer-Verlag, Berlin, Germany, 180-195.
-
-
-
-
68
-
-
0027608879
-
Using algebraic specifications in software testing: A case study on the software of an automatic subway
-
DAUCHY, P., GAUDEL, M.-C., AND MARRE, B. 1993. Using algebraic specifications in software testing: A case study on the software of an automatic subway. J. Syst. Softw. 21, 3, 229-244.
-
(1993)
J. Syst. Softw
, vol.21
, Issue.3
, pp. 229-244
-
-
DAUCHY, P.1
GAUDEL, M.-C.2
MARRE, B.3
-
69
-
-
40149092144
-
The tool kronos
-
Hybrid Systems, Springer, Berlin, Germany
-
DAWS, C., OLIVERO, A., TRIPAKIS, S., AND YOVINE, S. 1995. The tool kronos. In Hybrid Systems. Lecture Notes in Computer Science, vol. 1066. Springer, Berlin, Germany, 208-219.
-
(1995)
Lecture Notes in Computer Science
, vol.1066
, pp. 208-219
-
-
DAWS, C.1
OLIVERO, A.2
TRIPAKIS, S.3
YOVINE, S.4
-
70
-
-
84896693311
-
-
DE VRIES, R. G. AND TRETMANS, J. 2000. On-the-fly conformance testing using SPIN. Softw. Tools Technol. Transf. 2, 4 (Mar.), 382-393.
-
DE VRIES, R. G. AND TRETMANS, J. 2000. On-the-fly conformance testing using SPIN. Softw. Tools Technol. Transf. 2, 4 (Mar.), 382-393.
-
-
-
-
71
-
-
0018466858
-
Social processes and proofs of theorems and programs
-
DEMILLO, R., LIPTON, R. J., AND PERLIS, A. J. 1979. Social processes and proofs of theorems and programs. Commun. ACM 22, 5, 271-280.
-
(1979)
Commun. ACM
, vol.22
, Issue.5
, pp. 271-280
-
-
DEMILLO, R.1
LIPTON, R.J.2
PERLIS, A.J.3
-
72
-
-
0032668563
-
Testing refinements of state-based formal specifications
-
DERRICK, J. AND BOITEN, E. 1999. Testing refinements of state-based formal specifications. Softw. Test. Verif. Reliab. 9, 27-50.
-
(1999)
Softw. Test. Verif. Reliab
, vol.9
, pp. 27-50
-
-
DERRICK, J.1
BOITEN, E.2
-
73
-
-
85015362530
-
Automating the generation and sequencing of test cases from model based specifications
-
FME '93: Industrial Strength Formal Methods, J. C. P. Woodcock and R G. Larsen, Eds, Springer-Verlag, Berlin, Germany
-
DICK, J. AND FAIVRE, A. 1993. Automating the generation and sequencing of test cases from model based specifications. In FME '93: Industrial Strength Formal Methods, J. C. P. Woodcock and R G. Larsen, Eds. Lecture Notes in Computer Science, vol. 670. Springer-Verlag, Berlin, Germany, 268-284.
-
(1993)
Lecture Notes in Computer Science
, vol.670
, pp. 268-284
-
-
DICK, J.1
FAIVRE, A.2
-
74
-
-
0001654941
-
Notes of structured programming
-
O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Eds. Academic Press, New York, NY
-
DIJKSTRA, E. W 1972. Notes of structured programming. In Structured Programming, O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Eds. Academic Press, New York, NY.
-
(1972)
Structured Programming
-
-
DIJKSTRA, E.W.1
-
75
-
-
0002606756
-
Case studies on testing object-oriented programs
-
ACM Press, New York, NY
-
DOONG, R.-K. AND FRANKL, P. G. 1991. Case studies on testing object-oriented programs. In The Symposium on Testing, Analysis and Verification (TAV4). ACM Press, New York, NY, 165-177.
-
(1991)
The Symposium on Testing, Analysis and Verification (TAV4)
, pp. 165-177
-
-
DOONG, R.-K.1
FRANKL, P.G.2
-
76
-
-
0028421077
-
The ASTOOT approach to testing object-oriented programs
-
DOONG, R.-K. AND FRANKL, R G. 1994. The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol. 3, 2, 101-130.
-
(1994)
ACM Trans. Softw. Eng. Methodol
, vol.3
, Issue.2
, pp. 101-130
-
-
DOONG, R.-K.1
FRANKL, R.G.2
-
77
-
-
3042549231
-
A method enabling feasible conformance test sequence generation for EFSM models
-
DUALE, A. Y. AND UYAR, M. U 2004. A method enabling feasible conformance test sequence generation for EFSM models. IEEE Trans. Comput. 53, 5, 614-627.
-
(2004)
IEEE Trans. Comput
, vol.53
, Issue.5
, pp. 614-627
-
-
DUALE, A.Y.1
UYAR, M.U.2
-
79
-
-
23844440602
-
Formal verification of software source code through semi-automatic modeling
-
EISNER, C 2005. Formal verification of software source code through semi-automatic modeling. Softw. Syst. Model. 4, 1, 14-31.
-
(2005)
Softw. Syst. Model
, vol.4
, Issue.1
, pp. 14-31
-
-
EISNER, C.1
-
81
-
-
0001449325
-
Temporal and modal logic
-
Computer Science. North-Holland, Amsterdam, The Netherlands
-
EMERSON, E. A. 1990. Temporal and modal logic. In Handbook of Theoretical Computer Science. Vol. B. North-Holland, Amsterdam, The Netherlands, 995-1072.
-
(1990)
Handbook of Theoretical
, vol.B
, pp. 995-1072
-
-
EMERSON, E.A.1
-
82
-
-
0036859462
-
Timed Wp-method: Testing real-time systems
-
EN-NOUAARY, A., DSSOULI, R., AND KHENDEK, F. 2002. Timed Wp-method: Testing real-time systems. IEEE Trans. Softw. Eng. 28, 11, 1023-1038.
-
(2002)
IEEE Trans. Softw. Eng
, vol.28
, Issue.11
, pp. 1023-1038
-
-
EN-NOUAARY, A.1
DSSOULI, R.2
KHENDEK, F.3
-
83
-
-
0032299323
-
Timed test cases generation based on state characterization technique
-
EN-NOUAARY, A., DSSOULI, R., KHENDEK, F., AND ELQORTOBI, A. 1998. Timed test cases generation based on state characterization technique. In Proceedings of the IEEE Real-Time Systems Symposium. 220-229.
-
(1998)
Proceedings of the IEEE Real-Time Systems Symposium
, pp. 220-229
-
-
EN-NOUAARY, A.1
DSSOULI, R.2
KHENDEK, F.3
ELQORTOBI, A.4
-
84
-
-
84958769296
-
Test generation for intelligent networks using model checking
-
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Springer-Verlag, Berlin, Germany
-
ENGELS, A., FEIJS, L. M. G., AND MAUW, S. 1997. Test generation for intelligent networks using model checking. In Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97. Lecture Notes in Computer Science, vol. 1217. Springer-Verlag, Berlin, Germany, 384-398.
-
(1997)
Lecture Notes in Computer Science
, vol.1217
, pp. 384-398
-
-
ENGELS, A.1
FEIJS, L.M.G.2
MAUW, S.3
-
86
-
-
0036316211
-
Using a model-based test generator to test for standard conformance
-
FARCHI, E., HARTMAN, A., AND PINTER, S. 2002. Using a model-based test generator to test for standard conformance. IBM Syst. J. 41, 1, 89-110.
-
(2002)
IBM Syst. J
, vol.41
, Issue.1
, pp. 89-110
-
-
FARCHI, E.1
HARTMAN, A.2
PINTER, S.3
-
87
-
-
0036642013
-
Software measurement: Uncertainty and causal modeling
-
FENTON, N., KRAUSE, P., AND NEIL, M. 2002. Software measurement: Uncertainty and causal modeling. IEEE Softw. 10, 4, 116-122.
-
(2002)
IEEE Softw
, vol.10
, Issue.4
, pp. 116-122
-
-
FENTON, N.1
KRAUSE, P.2
NEIL, M.3
-
88
-
-
72349100435
-
-
FERNANDEZ, J.-C., JARD, C., JERON, T., AND VIHO, G. 1996. Using on-the-fly verification techniques for the generation of test suites. In Computer Aided Verification, 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996, Proceedings, R. Alur and T. A. Henzinger, Eds. Lecture Notes in Computer Science, 1102. Springer, Berlin, Germany, 348-359.
-
FERNANDEZ, J.-C., JARD, C., JERON, T., AND VIHO, G. 1996. Using on-the-fly verification techniques for the generation of test suites. In Computer Aided Verification, 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996, Proceedings, R. Alur and T. A. Henzinger, Eds. Lecture Notes in Computer Science, vol. 1102. Springer, Berlin, Germany, 348-359.
-
-
-
-
89
-
-
0024085326
-
Program verification: The very idea
-
FETZER, J. H. 1988. Program verification: The very idea. Commun. ACM 31, 9, 1048-1063.
-
(1988)
Commun. ACM
, vol.31
, Issue.9
, pp. 1048-1063
-
-
FETZER, J.H.1
-
90
-
-
84875033747
-
-
FLETCHER, R. AND SAJEEV, A. S. M. 1996. A framework for testing object-oriented software using formal specifications. In Proceedings of the Ada-Europe'96, International Conference on Reliable Software Technologies (Montreux, Switzerland). 159-170.
-
FLETCHER, R. AND SAJEEV, A. S. M. 1996. A framework for testing object-oriented software using formal specifications. In Proceedings of the Ada-Europe'96, International Conference on Reliable Software Technologies (Montreux, Switzerland). 159-170.
-
-
-
-
91
-
-
0003487865
-
-
Formal Systems (Europe) Ltd, Formal Systems (Europe) Ltd. Oxford, U.K
-
Formal Systems (Europe) Ltd. 1997. Failures-Divergence Refinement: FDR2 User Manual. Formal Systems (Europe) Ltd. Oxford, U.K.
-
(1997)
Failures-Divergence Refinement: FDR2 User Manual
-
-
-
92
-
-
61949354846
-
-
FRANTZEN, L., TRETMANS, J., AND WILLEMSE, T. A. C 2004. Test generation based on symbolic specifications. In Proceedings of the Formal Approaches to Software Testing, 4th International Workshop (FATES) Linz, Austria), 1-15.
-
FRANTZEN, L., TRETMANS, J., AND WILLEMSE, T. A. C 2004. Test generation based on symbolic specifications. In Proceedings of the Formal Approaches to Software Testing, 4th International Workshop (FATES) Linz, Austria), 1-15.
-
-
-
-
93
-
-
0026172995
-
Test selection based on finite state models
-
FUJIWARA, S., VON BOCHMANN, G., KHENDEK, F., AMALOU, M., AND GHEDAMSI, A. 1991. Test selection based on finite state models. IEEE Trans. Softw. Eng. 17, 6, 591-603.
-
(1991)
IEEE Trans. Softw. Eng
, vol.17
, Issue.6
, pp. 591-603
-
-
FUJIWARA, S.1
VON BOCHMANN, G.2
KHENDEK, F.3
AMALOU, M.4
GHEDAMSI, A.5
-
94
-
-
84976743225
-
Data-abstraction implementation, specification, and testing
-
GANNON, J., MCMULLIN, P., AND HAMLET, R. 1981. Data-abstraction implementation, specification, and testing. ACM Trans. Program. Lang. Syst. 3, 2, 211-223.
-
(1981)
ACM Trans. Program. Lang. Syst
, vol.3
, Issue.2
, pp. 211-223
-
-
GANNON, J.1
MCMULLIN, P.2
HAMLET, R.3
-
96
-
-
84887479765
-
Using model checking to generate tests from requirements specifications
-
ESEC '99, Springer-Verlag, Berlin, Germany
-
GARGANTINI, A. AND HEITMEYER, C. 1999. Using model checking to generate tests from requirements specifications. In ESEC '99. Lecture Notes in Computer Science, vol. 1687. Springer-Verlag, Berlin, Germany, 146-162.
-
(1999)
Lecture Notes in Computer Science
, vol.1687
, pp. 146-162
-
-
GARGANTINI, A.1
HEITMEYER, C.2
-
97
-
-
84957623309
-
Testing can be formal too
-
Springer-Verlag, Berlin, Germany
-
GAUDEL, M.-C. 1995. Testing can be formal too. In TAPSOFT'95. Springer-Verlag, Berlin, Germany, 82-96.
-
(1995)
TAPSOFT'95
, pp. 82-96
-
-
GAUDEL, M.-C.1
-
98
-
-
84944388460
-
-
GAUDEL, M.-C. 2001. Testing from formal specifications, a generic approach. In. Ada-Europe. Lecture Notes in Computer Science, 2043. Springer-Verlag, Berlin, Germany, 35-48.
-
GAUDEL, M.-C. 2001. Testing from formal specifications, a generic approach. In. Ada-Europe. Lecture Notes in Computer Science, vol. 2043. Springer-Verlag, Berlin, Germany, 35-48.
-
-
-
-
99
-
-
0842331202
-
Testing algebraic data types and processes: A unifying theory
-
GAUDEL, M.-C. AND JAMES, R R. 1998. Testing algebraic data types and processes: a unifying theory. Form. Aspect. Comput. 10, 5-6, 436-451.
-
(1998)
Form. Aspect. Comput
, vol.10
, Issue.5-6
, pp. 436-451
-
-
GAUDEL, M.-C.1
JAMES, R.R.2
-
100
-
-
0025233207
-
Formal specification and design time testing
-
GERRARD, C. P., COLEMAN, D., AND GALLIMORE, R. M. 1990. Formal specification and design time testing. IEEE Trans. Softw. Eng. 16, 1, 1-12.
-
(1990)
IEEE Trans. Softw. Eng
, vol.16
, Issue.1
, pp. 1-12
-
-
GERRARD, C.P.1
COLEMAN, D.2
GALLIMORE, R.M.3
-
102
-
-
17844364649
-
Real-time embedded hybrid control software for intelligent cruise control applications
-
GIRARD, A. R., SPRY, S., AND HEDRICK, J. K. 2005. Real-time embedded hybrid control software for intelligent cruise control applications. IEEE Robot. Automat. Mag. 12, 1, 22-28.
-
(2005)
IEEE Robot. Automat. Mag
, vol.12
, Issue.1
, pp. 22-28
-
-
GIRARD, A.R.1
SPRY, S.2
HEDRICK, J.K.3
-
103
-
-
0003257889
-
Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem
-
Springer-Verlag, New York, NY
-
GODEFROID, R 1996. Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem. Lecture Notes in Computer Science, vol. 1032. Springer-Verlag, New York, NY.
-
(1996)
Lecture Notes in Computer Science
, vol.1032
-
-
GODEFROID, R.1
-
104
-
-
0030651806
-
Model checking for programming languages using VeriSoft
-
ACM Press, New York, NY
-
GODEFROID, R 1997. Model checking for programming languages using VeriSoft. In Principles of Programming Languages. ACM Press, New York, NY, 174-186.
-
(1997)
Principles of Programming Languages
, pp. 174-186
-
-
GODEFROID, R.1
-
105
-
-
61949291279
-
Hybrid control in sea traffic management systems
-
Hybrid Systems III, Springer, Berlin, Germany
-
GODHAVN, J.-M., LAUVDAL, T., AND EGELAND, O. 1996. Hybrid control in sea traffic management systems. In Hybrid Systems III. Lecture Notes in Computer Science, vol. 1066, Springer, Berlin, Germany, 149-160.
-
(1996)
Lecture Notes in Computer Science
, vol.1066
, pp. 149-160
-
-
GODHAVN, J.-M.1
LAUVDAL, T.2
EGELAND, O.3
-
107
-
-
0018650941
-
An introduction to OBJ: A language for writing and testing formal algebraic specifications
-
IEEE Computer Society Press, Los Alamitos, CA
-
GOGUEN, J. A. AND TARDO, J. J. 1979. An introduction to OBJ: A language for writing and testing formal algebraic specifications. In Proceedings of the IEEE Conference on Specifications of Reliable Software. IEEE Computer Society Press, Los Alamitos, CA, 170-189.
-
(1979)
Proceedings of the IEEE Conference on Specifications of Reliable Software
, pp. 170-189
-
-
GOGUEN, J.A.1
TARDO, J.J.2
-
108
-
-
0014796563
-
A method for the design of fault detection experiments
-
GONENC, G. 1970. A method for the design of fault detection experiments. IEEE Trans. Comput. 19, 551-558.
-
(1970)
IEEE Trans. Comput
, vol.19
, pp. 551-558
-
-
GONENC, G.1
-
109
-
-
0016520230
-
Toward a theory of test data selection
-
GOODENOUGH, J. B. AND GERHART, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Softw. Eng. 1, 2, 156-173.
-
(1975)
IEEE Trans. Softw. Eng
, vol.1
, Issue.2
, pp. 156-173
-
-
GOODENOUGH, J.B.1
GERHART, S.L.2
-
110
-
-
84951817396
-
-
GOTLIEB, A., BOTELLA, B., AND RUEHER, M. 1998. Automatic test data generation using constraint solving techniques. In Proceedings of ISSTA '98. ACM Press, New York, NY, 53-62.
-
GOTLIEB, A., BOTELLA, B., AND RUEHER, M. 1998. Automatic test data generation using constraint solving techniques. In Proceedings of ISSTA '98. ACM Press, New York, NY, 53-62.
-
-
-
-
111
-
-
0036986571
-
Generating finite state machines from abstract state machines
-
GRIESKAMP, W., GUREVICH, Y., SCHULTE, W., AND VEANES, M. 2002. Generating finite state machines from abstract state machines. In Proceedings of the ACM SIGSOFT Symposium on Software Testing and Analysis. 112-122.
-
(2002)
Proceedings of the ACM SIGSOFT Symposium on Software Testing and Analysis
, pp. 112-122
-
-
GRIESKAMP, W.1
GUREVICH, Y.2
SCHULTE, W.3
VEANES, M.4
-
112
-
-
84888270231
-
Adaptive model checking
-
TACAS 2002, Springer-Verlag, Berlin, Germany
-
GROCE, A., PELED, D., AND YANNAKAKIS, M. 2002. Adaptive model checking. In TACAS 2002. Lecture Notes in Computer Science, vol. 2280. Springer-Verlag, Berlin, Germany, 357-370.
-
(2002)
Lecture Notes in Computer Science
, vol.2280
, pp. 357-370
-
-
GROCE, A.1
PELED, D.2
YANNAKAKIS, M.3
-
113
-
-
23844435578
-
Model checking, testing and verification working together
-
GUNTER, E. AND PELED, D. 2005. Model checking, testing and verification working together. Form. Aspects Comput. 17, 201-221.
-
(2005)
Form. Aspects Comput
, vol.17
, pp. 201-221
-
-
GUNTER, E.1
PELED, D.2
-
114
-
-
0031628244
-
Computing with continuous change
-
GUPTA, V., JAGADEESAN, R., AND SARASWAT, V A. 1998. Computing with continuous change. Set. Comput. Program. 30, 1-2, 3-49.
-
(1998)
Set. Comput. Program
, vol.30
, Issue.1-2
, pp. 3-49
-
-
GUPTA, V.1
JAGADEESAN, R.2
SARASWAT, V.A.3
-
116
-
-
0024891967
-
Theoretical comparison of testing methods
-
ACM Press, New York, NY
-
HAMLET, R. 1989. Theoretical comparison of testing methods. In Proceedings of the Third Symposium on Testing, Analysis and Verification. ACM Press, New York, NY, 28-37.
-
(1989)
Proceedings of the Third Symposium on Testing, Analysis and Verification
, pp. 28-37
-
-
HAMLET, R.1
-
117
-
-
0013043289
-
Improving test suites via generated specifications
-
Tech. rep. 848. Department of EECS. Cambridge, MA
-
HARDER, M. 2002. Improving test suites via generated specifications. Tech. rep. 848. Department of EECS. Cambridge, MA.
-
(2002)
-
-
HARDER, M.1
-
118
-
-
0031187475
-
Executable object modeling with Statecharts
-
HAREL, D. AND GERY, E. 1997. Executable object modeling with Statecharts. IEEE Comput., 30, 7, 31-42.
-
(1997)
IEEE Comput
, vol.30
, Issue.7
, pp. 31-42
-
-
HAREL, D.1
GERY, E.2
-
119
-
-
0742268971
-
Testability transformation
-
HARMAN, M., HU, L., HIERONS, R. M., WEGENER, J., STHAMER, H., BARESEL, A., AND ROPER, M. 2004. Testability transformation. IEEE Trans. Softw. Eng. 30, 1, 3-16.
-
(2004)
IEEE Trans. Softw. Eng
, vol.30
, Issue.1
, pp. 3-16
-
-
HARMAN, M.1
HU, L.2
HIERONS, R.M.3
WEGENER, J.4
STHAMER, H.5
BARESEL, A.6
ROPER, M.7
-
120
-
-
84896693469
-
Model checking Java programs using Java PathFinder
-
HAVELUND, K. AND PRESSBURGER, T. 1998. Model checking Java programs using Java PathFinder. Softw. Tools Technol. Transf. 2, 4, 366-381.
-
(1998)
Softw. Tools Technol. Transf
, vol.2
, Issue.4
, pp. 366-381
-
-
HAVELUND, K.1
PRESSBURGER, T.2
-
121
-
-
11144354549
-
An overview of the runtime verification tool Java PathExplorer
-
HAVELUND, K. AND ROSU, G. 2004. An overview of the runtime verification tool Java PathExplorer. Form. Meth. Syst. Des. 24, 2, 189-215.
-
(2004)
Form. Meth. Syst. Des
, vol.24
, Issue.2
, pp. 189-215
-
-
HAVELUND, K.1
ROSU, G.2
-
122
-
-
0022610338
-
Specification directed module testing
-
HAYES, I. J. 1986. Specification directed module testing. IEEE Trans. Softw. Eng. 12, 1, 124-133.
-
(1986)
IEEE Trans. Softw. Eng
, vol.12
, Issue.1
, pp. 124-133
-
-
HAYES, I.J.1
-
123
-
-
84947793309
-
Automating test case generation from Z specifications with Isabelle
-
ZUM '97: The Z Formal Specification Notation, J. R Bowen, M. G. Hinchey, and D. Till, Eds, Springer-Verlag, Berlin, Germany
-
HELKE, S., NEUSTUPNY, T., AND SANTEN, T. 1997. Automating test case generation from Z specifications with Isabelle. In ZUM '97: The Z Formal Specification Notation, J. R Bowen, M. G. Hinchey, and D. Till, Eds. Lecture Notes in Computer Science, vol. 1212. Springer-Verlag, Berlin, Germany, 52-71.
-
(1997)
Lecture Notes in Computer Science
, vol.1212
, pp. 52-71
-
-
HELKE, S.1
NEUSTUPNY, T.2
SANTEN, T.3
-
125
-
-
35248827669
-
Software verification with Blast
-
SPIN2003, Springer-Verlag, Berlin, Germany
-
HENZINGER, T., JHALA, R., MAJUMDAR, R., AND SUTRE, G. 2003. Software verification with Blast. In SPIN2003. Lecture Notes in Computer Science, vol. 2648. Springer-Verlag, Berlin, Germany, 235-239.
-
(2003)
Lecture Notes in Computer Science
, vol.2648
, pp. 235-239
-
-
HENZINGER, T.1
JHALA, R.2
MAJUMDAR, R.3
SUTRE, G.4
-
126
-
-
84955564686
-
A space-efficient on-the-fly algorithm for real-time model checking
-
CONCUR '96, Springer-Verlag, Berlin, Germany
-
HENZINGER, T. A., KUPFERMAN, O., AND VARDI, M. Y. 1996. A space-efficient on-the-fly algorithm for real-time model checking. In CONCUR '96. Lecture Notes in Computer Science, vol. 1119. Springer-Verlag, Berlin, Germany, 514-529.
-
(1996)
Lecture Notes in Computer Science
, vol.1119
, pp. 514-529
-
-
HENZINGER, T.A.1
KUPFERMAN, O.2
VARDI, M.Y.3
-
127
-
-
0000347968
-
Testing from a finite state machine: Extending invertibility to sequences
-
HIERONS, R. M. 1997a. Testing from a finite state machine: Extending invertibility to sequences. Comput. J. 40, 4, 220-230.
-
(1997)
Comput. J
, vol.40
, Issue.4
, pp. 220-230
-
-
HIERONS, R.M.1
-
128
-
-
0031094715
-
Testing from a Z specification
-
HIERONS, R. M. 1997b. Testing from a Z specification. Softw. Test. Verif. Reliab. 7, 1, 19-33.
-
(1997)
Softw. Test. Verif. Reliab
, vol.7
, Issue.1
, pp. 19-33
-
-
HIERONS, R.M.1
-
129
-
-
0035250946
-
Microproc. Microsyst. (Special Issue on Testing and Testing Techniques for Real-Time Embedded Software Systems) 24
-
9
-
HIERONS, R. M. 2001. Checking states and transitions of a set of communicating finite state machines. Microproc. Microsyst. (Special Issue on Testing and Testing Techniques for Real-Time Embedded Software Systems) 24, 9, 443-452.
-
(2001)
, pp. 443-452
-
-
HIERONS, R.M.1
-
130
-
-
11244343902
-
Comparing tests in the presence of hypotheses
-
HIERONS, R. M. 2002. Comparing tests in the presence of hypotheses. ACM Trans. Softw. Eng. Methodol. 11, 4, 427-448.
-
(2002)
ACM Trans. Softw. Eng. Methodol
, vol.11
, Issue.4
, pp. 427-448
-
-
HIERONS, R.M.1
-
131
-
-
2442565962
-
Minimizing the number of resets when testing from a finite state machine
-
HIERONS, R. M. 2004a. Minimizing the number of resets when testing from a finite state machine. Inform. Process. Lett. 90, 6, 287-292.
-
(2004)
Inform. Process. Lett
, vol.90
, Issue.6
, pp. 287-292
-
-
HIERONS, R.M.1
-
132
-
-
11944249945
-
Testing from a non-deterministic finite state machine using adaptive state counting
-
HIERONS, R. M. 2004b. Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Trans. Comput. 53, 10, 1330-1342.
-
(2004)
IEEE Trans. Comput
, vol.53
, Issue.10
, pp. 1330-1342
-
-
HIERONS, R.M.1
-
133
-
-
0037917046
-
Testingcomformance to a quasi-non-determinstic stream X-machine
-
HIERONS, R. M. AND HARMAN, M. 2000. Testingcomformance to a quasi-non-determinstic stream X-machine. Form. Aspects Comput. 12, 6, 423-442.
-
(2000)
Form. Aspects Comput
, vol.12
, Issue.6
, pp. 423-442
-
-
HIERONS, R.M.1
HARMAN, M.2
-
134
-
-
4243187981
-
Testing conformance of a deterministic implementation to a non-deterministic stream X-machine
-
HIERONS, R. M. AND HARMAN, M. 2004. Testing conformance of a deterministic implementation to a non-deterministic stream X-machine. Theoret. Comput. Sci. 323, 1-3, 191-233.
-
(2004)
Theoret. Comput. Sci
, vol.323
, Issue.1-3
, pp. 191-233
-
-
HIERONS, R.M.1
HARMAN, M.2
-
135
-
-
1242321280
-
On the testability of SDL specifications
-
HIERONS, R. M., KIM, T.-H., AND URAL, H. 2004. On the testability of SDL specifications. Comput. Netw. 44, 5, 681-700.
-
(2004)
Comput. Netw
, vol.44
, Issue.5
, pp. 681-700
-
-
HIERONS, R.M.1
KIM, T.-H.2
URAL, H.3
-
136
-
-
0035254666
-
Testing a system specified using Statecharts and Z
-
HIERONS, R. M., SADEGHIPOUR, S., AND SINGH, H. 2001. Testing a system specified using Statecharts and Z. Inform. Softw. Technol. 43, 2, 137-149.
-
(2001)
Inform. Softw. Technol
, vol.43
, Issue.2
, pp. 137-149
-
-
HIERONS, R.M.1
SADEGHIPOUR, S.2
SINGH, H.3
-
137
-
-
33645811727
-
Optimizing the length of checking sequences
-
HIERONS, R. M. AND URAL, H. 2006. Optimizing the length of checking sequences. IEEE Trans. Comput. 55, 5, 618-629.
-
(2006)
IEEE Trans. Comput
, vol.55
, Issue.5
, pp. 618-629
-
-
HIERONS, R.M.1
URAL, H.2
-
139
-
-
79851489116
-
How did software get so reliable without proof?
-
Cost 237 Workshop, D. Hutchison, H. Christiansen, G. Coulson, and A. S. Danthine, Eds, Springer, Berlin, Germany
-
HOARE, C. A. R. 1996. How did software get so reliable without proof? In Cost 237 Workshop, D. Hutchison, H. Christiansen, G. Coulson, and A. S. Danthine, Eds. Lecture Notes in Computer Science, vol. 1052. Springer, Berlin, Germany, 1-17.
-
(1996)
Lecture Notes in Computer Science
, vol.1052
, pp. 1-17
-
-
HOARE, C.A.R.1
-
142
-
-
33646750703
-
On-the-fly model checking
-
HOLZMANN, G. J. 1996. On-the-fly model checking. ACM Comput. Surv. 28, 4, 120-120.
-
(1996)
ACM Comput. Surv
, vol.28
, Issue.4
, pp. 120-120
-
-
HOLZMANN, G.J.1
-
143
-
-
0035361164
-
Software model checking: Extracting verification models from source code
-
HOLZMANN, G. J. AND SMITH, M. H. 2001. Software model checking: Extracting verification models from source code. Softw. Test. Verif. Reliab. 11, 2, 65-79.
-
(2001)
Softw. Test. Verif. Reliab
, vol.11
, Issue.2
, pp. 65-79
-
-
HOLZMANN, G.J.1
SMITH, M.H.2
-
144
-
-
0038601683
-
Data flow testing as model checking
-
IEEE Computer Society Press, Los Alamitos, CA
-
HONG, H., CHA, S., LEE, I., SOKOLSKY, O., AND URAL, H. 2003. Data flow testing as model checking. In Proceedings of ICSE 2003. IEEE Computer Society Press, Los Alamitos, CA, 232-243.
-
(2003)
Proceedings of ICSE 2003
, pp. 232-243
-
-
HONG, H.1
CHA, S.2
LEE, I.3
SOKOLSKY, O.4
URAL, H.5
-
145
-
-
84888265186
-
A temporal logic based theory of test coverage and generation
-
TACAS 2002, Springer-Verlag, Berlin, Germany
-
HONG, H., LEE, I., SOKOLSKY, O., AND URAL, H. 2002. A temporal logic based theory of test coverage and generation. In TACAS 2002. Lecture Notes in Computer Science, vol. 2280. Springer-Verlag, Berlin, Germany, 327-341.
-
(2002)
Lecture Notes in Computer Science
, vol.2280
, pp. 327-341
-
-
HONG, H.1
LEE, I.2
SOKOLSKY, O.3
URAL, H.4
-
146
-
-
61949417540
-
-
HONG, H. S., LEE, I., SOKOLSKY, O., AND CHA, S. D. 2001. Automatic test generation from Statecharts using model checking. In FATES '01. BRICS Notes Series, NS-01-4. BRICS, Aarhus, Denmark, 15-30.
-
HONG, H. S., LEE, I., SOKOLSKY, O., AND CHA, S. D. 2001. Automatic test generation from Statecharts using model checking. In FATES '01. BRICS Notes Series, vol. NS-01-4. BRICS, Aarhus, Denmark, 15-30.
-
-
-
-
147
-
-
0010535483
-
Using formal specifications to support software testing
-
HÖRCHER, H.-M. AND PELESKA, J. 1995. Using formal specifications to support software testing. Softw. Qual. J. 4, 4, 309-327.
-
(1995)
Softw. Qual. J
, vol.4
, Issue.4
, pp. 309-327
-
-
HÖRCHER, H.-M.1
PELESKA, J.2
-
148
-
-
0343878773
-
Validating voice communication requirements using lightweight formal methods
-
HÖRL, J. AND AICHERNIG, B. K. 2000. Validating voice communication requirements using lightweight formal methods. IEEE Softw. 17, 3, 21-27.
-
(2000)
IEEE Softw
, vol.17
, Issue.3
, pp. 21-27
-
-
HÖRL, J.1
AICHERNIG, B.K.2
-
149
-
-
0015145477
-
Checking experiments for sequential machines
-
HSIEH, E. R 1971. Checking experiments for sequential machines. IEEE Trans. Comput. 20, 1152-1166.
-
(1971)
IEEE Trans. Comput
, vol.20
, pp. 1152-1166
-
-
HSIEH, E.R.1
-
151
-
-
85015751162
-
Daistish: Systematic algebraic testing for OO programs in the presence of side-effects
-
ACM Press, New York, NY
-
HUGHES, M. AND STOTTS, D. 1996. Daistish: Systematic algebraic testing for OO programs in the presence of side-effects. In Proceedings of the International Symposium on Software Testing and Analysis. ACM Press, New York, NY, 53-61.
-
(1996)
Proceedings of the International Symposium on Software Testing and Analysis
, pp. 53-61
-
-
HUGHES, M.1
STOTTS, D.2
-
153
-
-
0000856666
-
An integration testing method that is proved to find all faults
-
IPATE, F. AND HOLCOMBE, M. 1997. An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63, 3&4, 159-178.
-
(1997)
Int. J. Comput. Math
, vol.63
, Issue.3-4
, pp. 159-178
-
-
IPATE, F.1
HOLCOMBE, M.2
-
154
-
-
0005853180
-
Generating test sets from non-deterministic stream X-machines
-
IPATE, F. AND HOLCOMBE, M. 2000. Generating test sets from non-deterministic stream X-machines. Form. Aspects Comput. 12, 6, 443-458.
-
(2000)
Form. Aspects Comput
, vol.12
, Issue.6
, pp. 443-458
-
-
IPATE, F.1
HOLCOMBE, M.2
-
159
-
-
0034593036
-
Finding bugs with a constraint solver
-
ACM Press, New York, NY
-
JACKSON, D. AND VAZIRI, M. 2000. Finding bugs with a constraint solver. In ISSTA'00: Proceedings of the International Symposium on Software Testing and Analysis. ACM Press, New York, NY, 14-25.
-
(2000)
ISSTA'00: Proceedings of the International Symposium on Software Testing and Analysis
, pp. 14-25
-
-
JACKSON, D.1
VAZIRI, M.2
-
160
-
-
0020944358
-
-
JALOTE, R 1983. Specification and testing of abstract data types. In Proceedings of the 7th International Computer Software and Applications Conference (COMPSAC). IEEE Computer Society Press, Los Alamitos, CA, 508-511.
-
JALOTE, R 1983. Specification and testing of abstract data types. In Proceedings of the 7th International Computer Software and Applications Conference (COMPSAC). IEEE Computer Society Press, Los Alamitos, CA, 508-511.
-
-
-
-
161
-
-
0024132260
-
-
JALOTE, R AND CABALLERO, M. G. 1988. Automated testcase generation for data abstraction. In Proceedings of the 12th International Computer Software and Applications Conference COMPSAC, IEEE Computer Society Press, Los Alamitos, CA, 205-210
-
JALOTE, R AND CABALLERO, M. G. 1988. Automated testcase generation for data abstraction. In Proceedings of the 12th International Computer Software and Applications Conference (COMPSAC). IEEE Computer Society Press, Los Alamitos, CA, 205-210.
-
-
-
-
162
-
-
23944432682
-
TGV: Theory, principles and algorithms
-
JARD, C. AND JÉRON, T. 2005. TGV: Theory, principles and algorithms. Int. J. Softw. Tools Technol. Trans. 7, 4, 297-315.
-
(2005)
Int. J. Softw. Tools Technol. Trans. 7
, vol.4
, pp. 297-315
-
-
JARD, C.1
JÉRON, T.2
-
163
-
-
0004176640
-
Systematic Software Development using VDM
-
2nd ed, Prentice Hall, Englewood Cliffs, NJ
-
JONES, C. B. 1991. Systematic Software Development using VDM, 2nd ed. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs, NJ.
-
(1991)
Prentice Hall International Series in Computer Science
-
-
JONES, C.B.1
-
164
-
-
0021852765
-
Testing formal specifications to detect design errors
-
KEMMERER, R. A. 1985. Testing formal specifications to detect design errors. IEEE Trans. Softw. Eng. 11, 1, 32-43.
-
(1985)
IEEE Trans. Softw. Eng
, vol.11
, Issue.1
, pp. 32-43
-
-
KEMMERER, R.A.1
-
165
-
-
0006202814
-
Automated test generation from SDL specifications
-
KERBRAT, A., JÉRON, T., AND GROZ, R. 1999. Automated test generation from SDL specifications. In SDL For. 135-152.
-
(1999)
SDL For
, pp. 135-152
-
-
KERBRAT, A.1
JÉRON, T.2
GROZ, R.3
-
167
-
-
0034244814
-
-
KING, S., HAMMOND, J., CHAPMAN, R., AND PRYOR, A. 2000. Is proof more cost-effective than testing? IEEE Trans. Softw. Eng. 26, 8 (Aug.), 675-686.
-
KING, S., HAMMOND, J., CHAPMAN, R., AND PRYOR, A. 2000. Is proof more cost-effective than testing? IEEE Trans. Softw. Eng. 26, 8 (Aug.), 675-686.
-
-
-
-
169
-
-
23044438027
-
Use of hybrid models for testing and debugging control software for electromechanical systems
-
KONDO, K. AND YOSHIDA, M. 2005. Use of hybrid models for testing and debugging control software for electromechanical systems. IEEE/ASME Trans. Mechatron. 10, 3, 275-284.
-
(2005)
IEEE/ASME Trans. Mechatron
, vol.10
, Issue.3
, pp. 275-284
-
-
KONDO, K.1
YOSHIDA, M.2
-
170
-
-
0035657455
-
A local approach to the testing of real-time systems
-
KONÉ, O. 2001. A local approach to the testing of real-time systems. Comput. J. 44, 5, 435-447.
-
(2001)
Comput. J
, vol.44
, Issue.5
, pp. 435-447
-
-
KONÉ, O.1
-
173
-
-
0001647941
-
Fault classes and error detection capability of specification-based testing
-
KUHN, D. R. 1999. Fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 8, 4, 411-424.
-
(1999)
ACM Trans. Softw. Eng. Methodol
, vol.8
, Issue.4
, pp. 411-424
-
-
KUHN, D.R.1
-
174
-
-
33646025729
-
An extended fault class hierarchy for specification-based testing
-
LAU, M. F. AND YU, Y.-T. 2005. An extended fault class hierarchy for specification-based testing. ACM Trans. Softw. Eng. Methodol. 14, 3, 247-276.
-
(2005)
ACM Trans. Softw. Eng. Methodol
, vol.14
, Issue.3
, pp. 247-276
-
-
LAU, M.F.1
YU, Y.-T.2
-
175
-
-
33645630970
-
Conformance relation, associated equivalence, and a new canonical tester in LOTOS
-
Elsevier North-Holland, Amsterdam, The Netherlands
-
LEDUC, G. 1991. Conformance relation, associated equivalence, and a new canonical tester in LOTOS. In Protocol Specification, Testing, and Verification XI. Elsevier (North-Holland), Amsterdam, The Netherlands, 249-264.
-
(1991)
Protocol Specification, Testing, and Verification XI
, pp. 249-264
-
-
LEDUC, G.1
-
176
-
-
0028387427
-
Testing finite-state machines: State identification and verification
-
LEE, D. AND YANNAKAKIS, M. 1994. Testing finite-state machines: State identification and verification. IEEE Trans. Comput. 43, 3, 306-320.
-
(1994)
IEEE Trans. Comput
, vol.43
, Issue.3
, pp. 306-320
-
-
LEE, D.1
YANNAKAKIS, M.2
-
177
-
-
0030212784
-
Principles and methods of testing finite-state machines
-
LEE, D. AND YANNAKAKIS, M. 1996. Principles and methods of testing finite-state machines. Proc. IEEE 84, 8, 1089-1123.
-
(1996)
Proc. IEEE
, vol.84
, Issue.8
, pp. 1089-1123
-
-
LEE, D.1
YANNAKAKIS, M.2
-
178
-
-
84937398109
-
Automated boundary testing from Z and B
-
Formal Methods Europe FME 02, Springer, Berlin, Germany
-
LEGEARD, B., PEUREUX, F., AND UTTING, M. 2002a. Automated boundary testing from Z and B. In Formal Methods Europe (FME 02). Lecture Notes in Computer Science, vol. 2391. Springer, Berlin, Germany, 21-40.
-
(2002)
Lecture Notes in Computer Science
, vol.2391
, pp. 21-40
-
-
LEGEARD, B.1
PEUREUX, F.2
UTTING, M.3
-
181
-
-
0022188649
-
Checking that finite state concurrent programs satisfy their linear specification
-
IEEE Computer Society Press, Los Alamitos, CA
-
LICHTENSTEIN, O. AND PNUELI, A. 1985. Checking that finite state concurrent programs satisfy their linear specification. In Principles of Programming Languages. IEEE Computer Society Press, Los Alamitos, CA, 97-107.
-
(1985)
Principles of Programming Languages
, pp. 97-107
-
-
LICHTENSTEIN, O.1
PNUELI, A.2
-
183
-
-
84958039956
-
Verifying consistency and validity of formal specifications by testing
-
World Congress on Formal Methods, J. Wing, J. Woodcock, and J. Davies, Eds, Springer-Verlag, Berlin, Germany
-
LIU, S. 1999. Verifying consistency and validity of formal specifications by testing. In World Congress on Formal Methods, J. Wing, J. Woodcock, and J. Davies, Eds. Lecture Notes in Computer Science, vol. 1708. Springer-Verlag, Berlin, Germany, 896-914.
-
(1999)
Lecture Notes in Computer Science
, vol.1708
, pp. 896-914
-
-
LIU, S.1
-
184
-
-
4944250881
-
A GUI and testing tool for SOFL
-
IEEE Computer Society Press, Los Alamitos, CA
-
LIU, S., FUKUZAKL, T., AND MIYAMOTO, K. 2000. A GUI and testing tool for SOFL. In APSEC 2000: Proceedings of the 7th Asia-Pacific Software Engineering Conference. IEEE Computer Society Press, Los Alamitos, CA, 421-425.
-
(2000)
APSEC 2000: Proceedings of the 7th Asia-Pacific Software Engineering Conference
, pp. 421-425
-
-
LIU, S.1
FUKUZAKL, T.2
MIYAMOTO, K.3
-
185
-
-
33244477971
-
An overview of probabilistic process algebras and their equivalences
-
Validation of Stochastic Systems, Springer, Berlin, Germany
-
LÓPEZ, N. AND NÚÑEZ, M. 2004. An overview of probabilistic process algebras and their equivalences. In Validation of Stochastic Systems. Lecture Notes in Computer Science, vol. 2925. Springer, Berlin, Germany, 89-123.
-
(2004)
Lecture Notes in Computer Science
, vol.2925
, pp. 89-123
-
-
LÓPEZ, N.1
NÚÑEZ, M.2
-
186
-
-
61949130561
-
-
LUO, G. L., PETRENKO, A., AND VON BOCHMANN, G. 1994a. Selecting test sequences for partially-specified nondeterministic finite state machines. In Proceedings of the 7th IFIP Workshop on Protocol Test Systems. Chapman and Hall, London, U.K., 95-110.
-
LUO, G. L., PETRENKO, A., AND VON BOCHMANN, G. 1994a. Selecting test sequences for partially-specified nondeterministic finite state machines. In Proceedings of the 7th IFIP Workshop on Protocol Test Systems. Chapman and Hall, London, U.K., 95-110.
-
-
-
-
187
-
-
0028375451
-
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
-
LUO, G. L., VON BOCHMANN, G., AND PETRENKO, A. 1994b. Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Trans. Softw. Eng. 20, 2, 149-161.
-
(1994)
IEEE Trans. Softw. Eng
, vol.20
, Issue.2
, pp. 149-161
-
-
LUO, G.L.1
VON BOCHMANN, G.2
PETRENKO, A.3
-
189
-
-
35048814984
-
Testing MATIS: A case study on specification-based testing of interactive systems
-
British Computer Society, Swindon, U.K
-
MACCOLL, I. AND CARRINGTON, D. 1998. Testing MATIS: A case study on specification-based testing of interactive systems. In FAHCI98: Proceedings of the Formal Aspects of Human Computer Interaction Workshop. British Computer Society, Swindon, U.K., 57-69.
-
(1998)
FAHCI98: Proceedings of the Formal Aspects of Human Computer Interaction Workshop
, pp. 57-69
-
-
MACCOLL, I.1
CARRINGTON, D.2
-
191
-
-
0002853158
-
Verifying hybrid systems
-
Hybrid Systems, Springer-Verlag, Berlin, Germany
-
MANNA, Z. AND PNUELI, A. 1992. Verifying hybrid systems. In Hybrid Systems. Lecture Notes in Computer Science, vol. 736. Springer-Verlag, Berlin, Germany, 4-35.
-
(1992)
Lecture Notes in Computer Science
, vol.736
, pp. 4-35
-
-
MANNA, Z.1
PNUELI, A.2
-
194
-
-
84957706393
-
LOFT: A tool for assisting selection of test data sets from algebraic specifications
-
TAPSOFT'95: Theory and Practice of Software Development, Springer, Berlin, Germany
-
MARRE, B. 1995. LOFT: A tool for assisting selection of test data sets from algebraic specifications. In TAPSOFT'95: Theory and Practice of Software Development. Lecture Notes in Computer Science, vol. 915. Springer, Berlin, Germany, 799-800.
-
(1995)
Lecture Notes in Computer Science
, vol.915
, pp. 799-800
-
-
MARRE, B.1
-
196
-
-
0003581143
-
-
Kluwer Academic Publishers, Dordrecht, The Netherlands
-
MCMILLAN, K. L. 1993. Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht, The Netherlands.
-
(1993)
Symbolic Model Checking
-
-
MCMILLAN, K.L.1
-
197
-
-
0020749256
-
Combining testing with formal specifications: A case study
-
MCMULLIN, R R. AND GANNON, J. D. 1983. Combining testing with formal specifications: A case study. IEEE Trans. Softw. Eng. 9, 3, 328-335.
-
(1983)
IEEE Trans. Softw. Eng
, vol.9
, Issue.3
, pp. 328-335
-
-
MCMULLIN, R.R.1
GANNON, J.D.2
-
199
-
-
0033354187
-
An approach to testing the nonexistence of initial state in Z specifications
-
ATS
-
MIAO, H., GAO, X., AND LIU, L. 1999. An approach to testing the nonexistence of initial state in Z specifications. In Proceedings of the Test Symposium. (ATS). 289-294.
-
(1999)
Proceedings of the Test Symposium
, pp. 289-294
-
-
MIAO, H.1
GAO, X.2
LIU, L.3
-
200
-
-
21844494124
-
Compilation of Z specifications into C for automatic test result evaluation
-
Springer-Verlag, Berlin, Germany
-
MLKK, E. 1995. Compilation of Z specifications into C for automatic test result evaluation. In ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Springer-Verlag, Berlin, Germany, 167-180.
-
(1995)
ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users
, pp. 167-180
-
-
MLKK, E.1
-
201
-
-
61949225479
-
-
MIL-STD 188-220B. 1998. Military Standard-Interoperability Standard for Digital Message Device Subsystems. Department of Defense, Washington, DC.
-
MIL-STD 188-220B. 1998. Military Standard-Interoperability Standard for Digital Message Device Subsystems. Department of Defense, Washington, DC.
-
-
-
-
202
-
-
0027540570
-
On the generation of minimal length conformance tests for communications protocols
-
MILLER, R. E. AND PAUL, S. 1993. On the generation of minimal length conformance tests for communications protocols. IEEE/ACM Trans. Network. 1, 1, 116-129.
-
(1993)
IEEE/ACM Trans. Network
, vol.1
, Issue.1
, pp. 116-129
-
-
MILLER, R.E.1
PAUL, S.2
-
204
-
-
61949310975
-
-
MOORE, E. R 1956. Gedanken-experiments. In Automata Studies, C. Shannon and J. McCarthy, Eds. Princeton University Press, Princeton, NJ.
-
MOORE, E. R 1956. Gedanken-experiments. In Automata Studies, C. Shannon and J. McCarthy, Eds. Princeton University Press, Princeton, NJ.
-
-
-
-
205
-
-
24344443968
-
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
-
Springer-Verlag, Berlin, Germany
-
MOSSES, R D. 2004. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science, vol. 2960. Springer-Verlag, Berlin, Germany.
-
(2004)
Lecture Notes in Computer Science
, vol.2960
-
-
MOSSES, R.D.1
-
206
-
-
61949168577
-
-
MOST COOPERATION. 2002. MOST media oriented system transport-multimedia and control networking technology. MOST Cooperation. Karlsruhe, Germany.
-
MOST COOPERATION. 2002. MOST media oriented system transport-multimedia and control networking technology. MOST Cooperation. Karlsruhe, Germany.
-
-
-
-
207
-
-
84957652558
-
Formal derivation of finite state machines for class testing
-
11th International Conference of Z Users, Springer, Berlin, Germany
-
MURRAY, L., CARRINGTON, D., MACCOLL, I., MCDONALD, J., AND STROOPER, P. 1998. Formal derivation of finite state machines for class testing. In 11th International Conference of Z Users. Lecture Notes in Computer Science, vol. 1493. Springer, Berlin, Germany, 42-59.
-
(1998)
Lecture Notes in Computer Science
, vol.1493
, pp. 42-59
-
-
MURRAY, L.1
CARRINGTON, D.2
MACCOLL, I.3
MCDONALD, J.4
STROOPER, P.5
-
209
-
-
84896692680
-
Automated test generation from timed automata
-
NIELSEN, B. AND SKOU, A. 2003. Automated test generation from timed automata. Softw. Tools Technol. Transf. 5, 1, 59-77.
-
(2003)
Softw. Tools Technol. Transf
, vol.5
, Issue.1
, pp. 59-77
-
-
NIELSEN, B.1
SKOU, A.2
-
210
-
-
33645622679
-
-
NÚÑEZ, M. AND RODRÍGUEZ, 1. 2003. Towards testing stochastic timed systems. In Formal Techniques for Networked and Distributed Systems (FORTE2003). Lecture Notes in Computer Science, 2767. Springer, Berlin, Germany, 335-350.
-
NÚÑEZ, M. AND RODRÍGUEZ, 1. 2003. Towards testing stochastic timed systems. In Formal Techniques for Networked and Distributed Systems (FORTE2003). Lecture Notes in Computer Science, vol. 2767. Springer, Berlin, Germany, 335-350.
-
-
-
-
211
-
-
0033324481
-
Generating test data from SOFL specifications
-
OFFUTT, J. AND LIU, S. 1999. Generating test data from SOFL specifications. J. Syst. Softw. 49, 1, 49-62.
-
(1999)
J. Syst. Softw
, vol.49
, Issue.1
, pp. 49-62
-
-
OFFUTT, J.1
LIU, S.2
-
212
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
OSTRAND, T. J. AND BALCER, M. J. 1988. The category-partition method for specifying and generating functional tests. Commun. ACM 31, 6, 676-686.
-
(1988)
Commun. ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
OSTRAND, T.J.1
BALCER, M.J.2
-
213
-
-
7744229621
-
Java model checking
-
Limerick, Ireland
-
PARK, D., STERN, U., SKAKKEBAEK, J. U., AND DILL, D. L. 2000. Java model checking. In Proceedings of the International Workshop on Automated Program Analysis, Testing and Verification (Limerick, Ireland). 74-82.
-
(2000)
Proceedings of the International Workshop on Automated Program Analysis, Testing and Verification
, pp. 74-82
-
-
PARK, D.1
STERN, U.2
SKAKKEBAEK, J.U.3
DILL, D.L.4
-
214
-
-
84863913545
-
Ten years of partial order reduction
-
Computer Aided Verification, 10th International Conference CAV'98, Springer-Verlag, Berlin, Germany
-
PELED, D. 1998. Ten years of partial order reduction. In Computer Aided Verification, 10th International Conference (CAV'98). Lecture Notes in Computer Science, vol. 1427. Springer-Verlag, Berlin, Germany, 17-28.
-
(1998)
Lecture Notes in Computer Science
, vol.1427
, pp. 17-28
-
-
PELED, D.1
-
215
-
-
35248840438
-
Model checking and testing combined
-
Automata, Languages and Programming, 30th International Colloquium ICALP 2003, Springer-Verlag, Berlin, Germany
-
PELED, D. 2003. Model checking and testing combined. In Automata, Languages and Programming, 30th International Colloquium (ICALP 2003). Lecture Notes in Computer Science, vol. 2719. Springer-Verlag, Berlin, Germany, 47-63.
-
(2003)
Lecture Notes in Computer Science
, vol.2719
, pp. 47-63
-
-
PELED, D.1
-
216
-
-
4544285150
-
Black box checking
-
PELED, D., VARDI, M., AND YANNAKAKIS, M. 2002. Black box checking. J. Automat. Lang. Combin. 7, 2, 225-246.
-
(2002)
J. Automat. Lang. Combin
, vol.7
, Issue.2
, pp. 225-246
-
-
PELED, D.1
VARDI, M.2
YANNAKAKIS, M.3
-
217
-
-
61949398880
-
-
PETRENKO, A. 1991. Checking experiments with protocol machines. In Protocol Test Systems. IFIP Transactions. North-Holland, Amsterdam, The Netherlands, 83-94.
-
PETRENKO, A. 1991. Checking experiments with protocol machines. In Protocol Test Systems. IFIP Transactions. North-Holland, Amsterdam, The Netherlands, 83-94.
-
-
-
-
218
-
-
33745891945
-
Fault model-driven test derivation from finite state models: Annotated bibliography
-
Springer, Berlin, Germany
-
PETRENKO, A. 2001. Fault model-driven test derivation from finite state models: Annotated bibliography. Lecture Notes in Computer Science, vol. 2067. Springer, Berlin, Germany, 196-205.
-
(2001)
Lecture Notes in Computer Science
, vol.2067
, pp. 196-205
-
-
PETRENKO, A.1
-
219
-
-
61949163477
-
-
PETRENKO, A., BORODAY, S., AND GROZ, R. 1999. Configurations in EFSM. In Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems (FORTE XII) and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX, China). 5-24.
-
PETRENKO, A., BORODAY, S., AND GROZ, R. 1999. Configurations in EFSM. In Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems (FORTE XII) and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX, China). 5-24.
-
-
-
-
220
-
-
0742321261
-
Confirming configurations in EFSM testing
-
PETRENKO, A., BORODAY, S., AND GROZ, R. 2004. Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30, 1, 29-42.
-
(2004)
IEEE Trans. Softw. Eng
, vol.30
, Issue.1
, pp. 29-42
-
-
PETRENKO, A.1
BORODAY, S.2
GROZ, R.3
-
221
-
-
0028055470
-
Nondeterministic state machines in protocol conformance testing
-
Elsevier Science North-Holland, Amsterdam, The Netherlands
-
PETRENKO, A., YEVTUSHENKO, N., LEBEDEV, A., AND DAS, A. 1994. Nondeterministic state machines in protocol conformance testing. In Protocol Test Systems, VI (C-19). Elsevier Science (North-Holland), Amsterdam, The Netherlands, 363-378.
-
(1994)
Protocol Test Systems, VI (C-19)
, pp. 363-378
-
-
PETRENKO, A.1
YEVTUSHENKO, N.2
LEBEDEV, A.3
DAS, A.4
-
222
-
-
61949168576
-
-
PETRENKO, A., YEVTUSHENKO, N., AND VON BOCHMANN, G. 1996. Testing deterministic implementations from nondeterministic FSM specifications. In Proceedings of the 9th International Workshop on Testing of Communicating Systems (IWTCS). 125-140.
-
PETRENKO, A., YEVTUSHENKO, N., AND VON BOCHMANN, G. 1996. Testing deterministic implementations from nondeterministic FSM specifications. In Proceedings of the 9th International Workshop on Testing of Communicating Systems (IWTCS). 125-140.
-
-
-
-
223
-
-
0028015161
-
Executable testers
-
North-Holland, Amsterdam, The Netherlands
-
PHALIPPOU, M. 1994. Executable testers. In Protocol Test Systems VI. North-Holland, Amsterdam, The Netherlands, 35-50.
-
(1994)
Protocol Test Systems VI
, pp. 35-50
-
-
PHALIPPOU, M.1
-
224
-
-
85047040703
-
The temporal logic of programs
-
IEEE Computer Society Press, Los Alamitos, CA
-
PNUELI, A. 1977. The temporal logic of programs. In Proceedings of FOCS. IEEE Computer Society Press, Los Alamitos, CA, 46-57.
-
(1977)
Proceedings of FOCS
, pp. 46-57
-
-
PNUELI, A.1
-
225
-
-
24944448110
-
One evaluation of model-based testing and its automation
-
ICSE, St. Louis, MO
-
PRETSCHNER, A., PRENNINGER, W., WAGNER, S., KÜHNEL, C, BAUMGARTNER, M., SOSTAWA, B., ZÖLCH, R., AND STAUNER, T. 2005. One evaluation of model-based testing and its automation. In Proceedings of the 27th ACM/IEEE International Conference on Software Engineering (ICSE, St. Louis, MO), 392-401.
-
(2005)
Proceedings of the 27th ACM/IEEE International Conference on Software Engineering
, pp. 392-401
-
-
PRETSCHNER, A.1
PRENNINGER, W.2
WAGNER, S.3
KÜHNEL, C.4
BAUMGARTNER, M.5
SOSTAWA, B.6
ZÖLCH, R.7
STAUNER, T.8
-
226
-
-
0020299274
-
Specification and verification of concurrent systems in CESAR
-
International Symposium on Programming, Springer-Verlag, Berlin, Germany
-
QUEILLE, J. R AND SIFAKIS, J. 1982. Specification and verification of concurrent systems in CESAR. In International Symposium on Programming. Lecture Notes in Computer Science, vol. 137. Springer-Verlag, Berlin, Germany, 337-351.
-
(1982)
Lecture Notes in Computer Science
, vol.137
, pp. 337-351
-
-
QUEILLE, J.R.1
SIFAKIS, J.2
-
227
-
-
2542569614
-
Hybrid control of a robot - a case study
-
Hybrid Systems II, Springer, Berlin, Germany
-
RAVN, A. P., RISCHEL, H., CONRAD, F., AND ANDERSEN, T. O. 1995. Hybrid control of a robot - a case study. In Hybrid Systems II. Lecture Notes in Computer Science, vol. 999, Springer, Berlin, Germany, 391-404.
-
(1995)
Lecture Notes in Computer Science
, vol.999
, pp. 391-404
-
-
RAVN, A.P.1
RISCHEL, H.2
CONRAD, F.3
ANDERSEN, T.O.4
-
228
-
-
0031607108
-
An approach to architectural analysis and testing
-
ACM Press, New York, NY
-
RICE, M. D. AND SEIDMAN, S. B. 1998. An approach to architectural analysis and testing. In Proceedings of the 3rd International Workshop on Software Architecture. ACM Press, New York, NY, 121-123.
-
(1998)
Proceedings of the 3rd International Workshop on Software Architecture
, pp. 121-123
-
-
RICE, M.D.1
SEIDMAN, S.B.2
-
230
-
-
0022242050
-
Partition analysis: A method combining testing and verification
-
RICHARDSON, D. J. AND CLARKE, L. A. 1985. Partition analysis: A method combining testing and verification. IEEE Trans. Softw. Eng. 14, 12, 1477-1490.
-
(1985)
IEEE Trans. Softw. Eng
, vol.14
, Issue.12
, pp. 1477-1490
-
-
RICHARDSON, D.J.1
CLARKE, L.A.2
-
232
-
-
0023834225
-
A protocol test generation procedure
-
SABNANI, K. AND DAHBURA, A. 1998. A protocol test generation procedure. Comput. Netw. 15, 4, 285-297.
-
(1998)
Comput. Netw
, vol.15
, Issue.4
, pp. 285-297
-
-
SABNANI, K.1
DAHBURA, A.2
-
233
-
-
61949419596
-
Sequence generation tool for communication system
-
FORTE
-
SATO, F., MUNEMORI, J., IDEGUCHI, T., AND MIZUNO, T. 1989. Sequence generation tool for communication system. In Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE).
-
(1989)
Proceedings of the 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
-
-
SATO, F.1
MUNEMORI, J.2
IDEGUCHI, T.3
MIZUNO, T.4
-
234
-
-
0006225670
-
Autolink-putting SDL-based test generation into practice
-
Kluwer Academic Publishers, Amsterdam, The Netherlands
-
SCHMITT, M., EK, A., GRABOWSKI, J., HOGREFE, D., AND KOCH, B. 1998. Autolink-putting SDL-based test generation into practice. In Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS). Kluwer Academic Publishers, Amsterdam, The Netherlands, 227-244.
-
(1998)
Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS)
, pp. 227-244
-
-
SCHMITT, M.1
EK, A.2
GRABOWSKI, J.3
HOGREFE, D.4
KOCH, B.5
-
235
-
-
0024650136
-
Formal methods for protocol testing: A detailed study
-
SIDHU, D. R AND LEUNG, T.-K. 1989. Formal methods for protocol testing: A detailed study. IEEE Trans. Softw. Eng. 15, 4, 413-426.
-
(1989)
IEEE Trans. Softw. Eng
, vol.15
, Issue.4
, pp. 413-426
-
-
SIDHU, D.R.1
LEUNG, T.-K.2
-
236
-
-
61949442257
-
-
SIMS, S. 1999. The Process Algebra Compiler User's Manual. Reactive Systems, Inc., Falls Church, VA.
-
SIMS, S. 1999. The Process Algebra Compiler User's Manual. Reactive Systems, Inc., Falls Church, VA.
-
-
-
-
237
-
-
0031380319
-
Test case design based on Z and the classification-tree method
-
IEEE Computer Society Press, Los Alamitos, CA
-
SINGH, H., CONRAD, M., AND SADEGHIPOUR, S. 1997. Test case design based on Z and the classification-tree method. In Proceedings of the 1st IEEE Conference on Formal Engineering Methods. IEEE Computer Society Press, Los Alamitos, CA, 81-90.
-
(1997)
Proceedings of the 1st IEEE Conference on Formal Engineering Methods
, pp. 81-90
-
-
SINGH, H.1
CONRAD, M.2
SADEGHIPOUR, S.3
-
239
-
-
61949348220
-
-
SPIVEY, J. M. 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice Hall International Science in Computer Science, Prentice Hall, Englewood Cliffs, NJ.
-
SPIVEY, J. M. 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice Hall International Science in Computer Science, Prentice Hall, Englewood Cliffs, NJ.
-
-
-
-
240
-
-
84957688495
-
-
Springer, Berlin, Germany
-
STAUNER, T., MULLER, O., AND FUCHS, M. 1997. Using HYTECH to verify an automotive control system. Lecture Notes in Computer Science, vol. 201. Springer, Berlin, Germany, 139-153.
-
(1997)
Using HYTECH to verify an automotive control system. Lecture Notes in Computer Science
, vol.201
, pp. 139-153
-
-
STAUNER, T.1
MULLER, O.2
FUCHS, M.3
-
241
-
-
84951753410
-
Testing as abstraction
-
The Z Formal Specification Notation ZUM 95, Springer, Berlin, Germany
-
STEPNEY, S. 1995. Testing as abstraction. In The Z Formal Specification Notation (ZUM 95). Lecture Notes in Computer Science, vol. 967. Springer, Berlin, Germany, 137-151.
-
(1995)
Lecture Notes in Computer Science
, vol.967
, pp. 137-151
-
-
STEPNEY, S.1
-
242
-
-
0000832186
-
Modal and temporal logics
-
Oxford University Press, Oxford, U.K
-
STIRLING, C. 1992. Modal and temporal logics. In Handbook of Logic in Computer Science. Vol. 2. Oxford University Press, Oxford, U.K., 477-563.
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 477-563
-
-
STIRLING, C.1
-
244
-
-
0030285205
-
-
STOCKS, R A. AND CARRINGTON, D. A. 1996. A framework for specification-based testing. IEEE Trans. Softw. Eng. 22, 11 (Nov.), 777-793.
-
STOCKS, R A. AND CARRINGTON, D. A. 1996. A framework for specification-based testing. IEEE Trans. Softw. Eng. 22, 11 (Nov.), 777-793.
-
-
-
-
245
-
-
16244367482
-
Model-based testing and monitoring for hybrid embedded systems
-
IRI
-
TAN, L., KIM, J., SOKOLSKY, O., AND LEE, I. 2004. Model-based testing and monitoring for hybrid embedded systems. In Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI). 487-492.
-
(2004)
Proceedings of the IEEE International Conference on Information Reuse and Integration
, pp. 487-492
-
-
TAN, L.1
KIM, J.2
SOKOLSKY, O.3
LEE, I.4
-
247
-
-
0033880192
-
Automated test-data generation for exception conditions
-
TRACEY, N., CLARK, J., MANDER, K., AND MCDERMID, J. 2000. Automated test-data generation for exception conditions. Softw. Prac. Exp. 30, 1, 61-79.
-
(2000)
Softw. Prac. Exp
, vol.30
, Issue.1
, pp. 61-79
-
-
TRACEY, N.1
CLARK, J.2
MANDER, K.3
MCDERMID, J.4
-
248
-
-
0003165105
-
Test case preparation using a prototype
-
B'98: 2nd International B Conference, Recent Advances in the Development and Use of the B Method, D. Bert, Ed, Springer-Verlag, Berlin, Germany
-
TREHARNE, H., DRAPER, J., AND SCHNEIDER, S. 1998. Test case preparation using a prototype. In B'98: 2nd International B Conference, Recent Advances in the Development and Use of the B Method, D. Bert, Ed. Lecture Notes in Computer Science, vol. 1393. Springer-Verlag, Berlin, Germany, 293-311.
-
(1998)
Lecture Notes in Computer Science
, vol.1393
, pp. 293-311
-
-
TREHARNE, H.1
DRAPER, J.2
SCHNEIDER, S.3
-
249
-
-
0002440785
-
Conformance testing with labeled transitions systems: Implementation relations and test generation
-
TRETMANS, J. 1996. Conformance testing with labeled transitions systems: Implementation relations and test generation. Comput. Network. ISDN Syst. 29, 1, 49-79.
-
(1996)
Comput. Network. ISDN Syst
, vol.29
, Issue.1
, pp. 49-79
-
-
TRETMANS, J.1
-
250
-
-
84869255224
-
-
TRETMANS, J. AND BRINKSMA, E. 2003. TORX: Automated Model Based Testing. In Proceedings of the First European Conference on Model-Driven Software Engineering, A. Hartman and K. Dussa-Zieger, Eds. Imbuss, Möhrendorf, Germany. 13 pages.
-
TRETMANS, J. AND BRINKSMA, E. 2003. TORX: Automated Model Based Testing. In Proceedings of the First European Conference on Model-Driven Software Engineering, A. Hartman and K. Dussa-Zieger, Eds. Imbuss, Möhrendorf, Germany. 13 pages.
-
-
-
-
251
-
-
1842421482
-
On fault classes and error detection capability of specification-based testing
-
TSUCHIYA, T. AND KLKUNO, T. 2002. On fault classes and error detection capability of specification-based testing. ACAi Trans. Softw. Eng. Methodol. 11, 1, 58-62.
-
(2002)
ACAi Trans. Softw. Eng. Methodol. 11
, vol.1
, pp. 58-62
-
-
TSUCHIYA, T.1
KLKUNO, T.2
-
252
-
-
0033880103
-
Test generation based on control and data dependencies within system specifications in SDL
-
URAL, H., SALEH, K., AND WILLIAMS, A. 2000. Test generation based on control and data dependencies within system specifications in SDL. Comput. Commun. 23, 609-627.
-
(2000)
Comput. Commun
, vol.23
, pp. 609-627
-
-
URAL, H.1
SALEH, K.2
WILLIAMS, A.3
-
253
-
-
0031369478
-
On minimizing the lengths of checking sequences
-
URAL, H., WU, X., AND ZHANG, F. 1997. On minimizing the lengths of checking sequences. IEEE Trans. Comput. 46, 1, 93-99.
-
(1997)
IEEE Trans. Comput
, vol.46
, Issue.1
, pp. 93-99
-
-
URAL, H.1
WU, X.2
ZHANG, F.3
-
254
-
-
0033282683
-
-
UYAR, M. U. AND DUALE, A. Y 1999. Resolving inconsistencies in EFSM modeled specifications. In Proceedings of the IEEE Military Communications Conference (MILCOM, Atlantic City, NJ).
-
UYAR, M. U. AND DUALE, A. Y 1999. Resolving inconsistencies in EFSM modeled specifications. In Proceedings of the IEEE Military Communications Conference (MILCOM, Atlantic City, NJ).
-
-
-
-
255
-
-
0041329735
-
Experience in developing and testing network protocol software using FDTs
-
UYAR, M. Ü., FECKO, M. A., DUALE, A. Y., AMER, R D., AND SETHI, A. S. 2003. Experience in developing and testing network protocol software using FDTs. Inform. Softw. Technol. 45, 12, 815-835.
-
(2003)
Inform. Softw. Technol
, vol.45
, Issue.12
, pp. 815-835
-
-
UYAR, M.U.1
FECKO, M.A.2
DUALE, A.Y.3
AMER, R.D.4
SETHI, A.S.5
-
256
-
-
0001486078
-
A stubborn attack on the state explosion problem
-
CAV, DIMACS, AMS, Providence, RI
-
VALMARI, A. 1990. A stubborn attack on the state explosion problem. In Proceedings of Computer Aided Verification, 2nd International Workshop (CAV). DIMACS, vol. 3. AMS, Providence, RI, 25-42.
-
(1990)
Proceedings of Computer Aided Verification, 2nd International Workshop
, vol.3
, pp. 25-42
-
-
VALMARI, A.1
-
257
-
-
0027544543
-
Smart cars on smart roads
-
VARAIYA, R 1993. Smart cars on smart roads. IEEE Trans. Automat. Cont. 38, 2, 195-207.
-
(1993)
IEEE Trans. Automat. Cont
, vol.38
, Issue.2
, pp. 195-207
-
-
VARAIYA, R.1
-
258
-
-
0022987223
-
-
VARDI, M. AND WOLPER, R 1986. An automata-theoretic approach to automatic program verification. In Proceedings of the Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press, Los Alamitos, CA, 332-344.
-
VARDI, M. AND WOLPER, R 1986. An automata-theoretic approach to automatic program verification. In Proceedings of the Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press, Los Alamitos, CA, 332-344.
-
-
-
-
260
-
-
0035170705
-
-
VILKOMIR, S. A. AND BOWEN, J. P. 2001. Formalization of software testing criteria using the Z notation. In Proceedings of the 25th Annual International Computer Software and Applications Conference COMPSAC, Chicago, IL, IEEE Computer Society, Los Alamitos, CA, 351-356
-
VILKOMIR, S. A. AND BOWEN, J. P. 2001. Formalization of software testing criteria using the Z notation. In Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC, Chicago, IL). IEEE Computer Society, Los Alamitos, CA, 351-356.
-
-
-
-
261
-
-
84948156970
-
-
VILKOMIR, S. A. AND BOWEN, J. R 2002. Reinforced condition/decision coverage (RC/DC): A new criterion for software testing. In Proceedings of the 2nd International Conference of B and Z Users (ZB). 291-308.
-
VILKOMIR, S. A. AND BOWEN, J. R 2002. Reinforced condition/decision coverage (RC/DC): A new criterion for software testing. In Proceedings of the 2nd International Conference of B and Z Users (ZB). 291-308.
-
-
-
-
263
-
-
0003107963
-
Automating the process of test derivation from SDL specifications
-
Evry, France
-
VON BOCHMANN, G., PETRENKO, A., BELLAL, O., AND MARGUIRAGA, S. 1997. Automating the process of test derivation from SDL specifications. In Proceedings of the 8th SDL forum, INT. Evry, France, 261-276.
-
(1997)
Proceedings of the 8th SDL forum, INT
, pp. 261-276
-
-
VON BOCHMANN, G.1
PETRENKO, A.2
BELLAL, O.3
MARGUIRAGA, S.4
-
267
-
-
0019019881
-
Theories of program testing and the the application of revealing subdomains
-
WEYUKER, E. J. AND OSTRAND, T. J. 1980. Theories of program testing and the the application of revealing subdomains. IEEE Trans. Softw. Eng. 6, 3, 236-246.
-
(1980)
IEEE Trans. Softw. Eng
, vol.6
, Issue.3
, pp. 236-246
-
-
WEYUKER, E.J.1
OSTRAND, T.J.2
-
268
-
-
3743147204
-
The CO-OP method for compositional derivation of conformance testers
-
Elsevier North-Holland, Amsterdam, The Netherlands
-
WEZEMAN, C. D. 1989. The CO-OP method for compositional derivation of conformance testers. In Protocol Specification, Testing, and Verification IX. Elsevier (North-Holland), Amsterdam, The Netherlands, 145-158.
-
(1989)
Protocol Specification, Testing, and Verification IX
, pp. 145-158
-
-
WEZEMAN, C.D.1
-
269
-
-
0019018929
-
A domain strategy for computer program testing
-
May
-
WHITE, L. J. AND COHEN, E. I. 1980. A domain strategy for computer program testing. IEEE Trans. Softw. Eng. 6, 3 (May), 247-257.
-
(1980)
IEEE Trans. Softw. Eng
, vol.6
, Issue.3
, pp. 247-257
-
-
WHITE, L.J.1
COHEN, E.I.2
-
270
-
-
1642503732
-
Specification based test sequence generation with propositional logic
-
WIMMEL, G., LÖTZBEYER, H., PRETSCHNER, A., AND SLOTOSCH, O. 2000. Specification based test sequence generation with propositional logic. Softw. Test. Verif. Reliab. 10, 229-248.
-
(2000)
Softw. Test. Verif. Reliab
, vol.10
, pp. 229-248
-
-
WIMMEL, G.1
LÖTZBEYER, H.2
PRETSCHNER, A.3
SLOTOSCH, O.4
-
271
-
-
12744264345
-
Verifying distributed algorithms via dynamic analysis and theorem proving
-
Tech. rep. 841. MIT Laboratory for Computer Science, MIT, Cambridge, MA
-
WIN, T. AND ERNST, M. 2002. Verifying distributed algorithms via dynamic analysis and theorem proving. Tech. rep. 841. MIT Laboratory for Computer Science, MIT, Cambridge, MA.
-
(2002)
-
-
WIN, T.1
ERNST, M.2
-
272
-
-
0000079522
-
Errors in algebraic specifications and an experimental mutation testing tool
-
WOODWARD, M. R. 1993. Errors in algebraic specifications and an experimental mutation testing tool. IEE/BCS Softw. Eng. J. 8, 4, 211-224.
-
(1993)
IEE/BCS Softw. Eng. J
, vol.8
, Issue.4
, pp. 211-224
-
-
WOODWARD, M.R.1
-
273
-
-
85025285224
-
-
YANG, B. AND URAL, H. 1990. Protocol conformance test generation using multiple UIO sequences with overlapping. In Proceedings of ACM SIGCOMM 90: Communications, Architectures, and Protocols (Twente, The Netherlands). 118-125.
-
YANG, B. AND URAL, H. 1990. Protocol conformance test generation using multiple UIO sequences with overlapping. In Proceedings of ACM SIGCOMM 90: Communications, Architectures, and Protocols (Twente, The Netherlands). 118-125.
-
-
-
-
274
-
-
0027755505
-
Conformance testing of protocol machines without reset
-
Elsevier North-Holland, Amsterdam, The Netherlands
-
YAO, M., PETRENKO, A., AND VON BOCHMANN, G. 1993. Conformance testing of protocol machines without reset. In Protocol Specification, Testing and Verification, XIII (C-16). Elsevier (North-Holland), Amsterdam, The Netherlands, 241-256.
-
(1993)
Protocol Specification, Testing and Verification, XIII (C-16)
, pp. 241-256
-
-
YAO, M.1
PETRENKO, A.2
VON BOCHMANN, G.3
-
275
-
-
0026259727
-
On checking experiments with nondeterministic automata
-
YEVTUSHENKO, N. V., LEBEDEV, A. V., AND PETRENKO, A. F. 1991. On checking experiments with nondeterministic automata. Automat. Contr. Comput. Sci. 6, 81-85.
-
(1991)
Automat. Contr. Comput. Sci
, vol.6
, pp. 81-85
-
-
YEVTUSHENKO, N.V.1
LEBEDEV, A.V.2
PETRENKO, A.F.3
|