-
1
-
-
78249243521
-
-
Master's thesis, Institute for Computing and Information Sciences, Radboud University, and Uppsala University, Nijmegen, The Netherlands, and Uppsala, Sweden
-
Aarts, F.: Inference and Abstraction of Communication Protocols. Master's thesis, Institute for Computing and Information Sciences, Radboud University, and Uppsala University, Nijmegen, The Netherlands, and Uppsala, Sweden (2009)
-
(2009)
Inference and Abstraction of Communication Protocols
-
-
Aarts, F.1
-
2
-
-
78650271044
-
Inference and abstraction of the biometric passport
-
Margaria, T., Steffen, B. (eds.) ISoLA 2010. Springer, Heidelberg
-
Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 673-686. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6415
, pp. 673-686
-
-
Aarts, F.1
Schmaltz, J.2
Vaandrager, F.3
-
3
-
-
78249237871
-
Learning I/O Automata
-
Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. Springer, Heidelberg
-
Aarts, F., Vaandrager, F.: Learning I/O Automata. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 71-85. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6269
, pp. 71-85
-
-
Aarts, F.1
Vaandrager, F.2
-
4
-
-
0023453626
-
Learning Regular Sets from Queries and Counterexamples
-
Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87-106 (1987)
-
(1987)
Information and Computation
, vol.75
, Issue.2
, pp. 87-106
-
-
Angluin, D.1
-
5
-
-
77951568200
-
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
-
Esparza, J., Majumdar, R. (eds.) TACAS 2010. Springer, Heidelberg
-
Belinfante, A.: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266-270. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6015
, pp. 266-270
-
-
Belinfante, A.1
-
6
-
-
33745793169
-
Regular Inference for State Machines with Parameters
-
Baresi, L., Heckel, R. (eds.) FASE 2006. Springer, Heidelberg
-
Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines with Parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 107-121. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3922
, pp. 107-121
-
-
Berg, T.1
Jonsson, B.2
Raffelt, H.3
-
7
-
-
0026256511
-
Software testing based on formal specifications: A theory and a tool
-
November
-
Bernot, G., Gaudel, M.G., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 387-405 (November 1991)
-
(1991)
Software Engineering Journal
, pp. 387-405
-
-
Bernot, G.1
Gaudel, M.G.2
Marre, B.3
-
8
-
-
37149001046
-
Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning
-
Grumberg, O., Huth, M. (eds.) TACAS 2007. Springer, Heidelberg
-
Bollig, B., Katoen, J.P., Kern, C., Leucker, M.: Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 435-450. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4424
, pp. 435-450
-
-
Bollig, B.1
Katoen, J.P.2
Kern, C.3
Leucker, M.4
-
9
-
-
79959221690
-
On the coverage of partial validations
-
Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993. Springer, Heidelberg
-
Brinksma, E.: On the coverage of partial validations. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993. BCS-FACS Workshops in Computing Series, pp. 247-254. Springer, Heidelberg (1993)
-
(1993)
BCS-FACS Workshops in Computing Series
, pp. 247-254
-
-
Brinksma, E.1
-
10
-
-
5844261044
-
A framework for test selection
-
Jonsson, B., Parrow, J., Pehrson, B. (eds.) North-Holland, Amsterdam
-
Brinksma, E., Tretmans, J., Verhaard, L.: A framework for test selection. In: Jonsson, B., Parrow, J., Pehrson, B. (eds.) Protocol Specification, Testing, and Verification XI, pp. 233-248. North-Holland, Amsterdam (1991)
-
(1991)
Protocol Specification, Testing, and Verification XI
, pp. 233-248
-
-
Brinksma, E.1
Tretmans, J.2
Verhaard, L.3
-
11
-
-
38349031237
-
Model-Based Testing of Reactive Systems
-
Springer, Heidelberg
-
Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3472
-
-
Broy, M.1
Jonsson, B.2
Katoen, J.P.3
Leucker, M.4
Pretschner, A.5
-
12
-
-
26444516479
-
Testing Concurrent Object-Oriented Systems with Spec Explorer - Extended Abstract
-
Fitzgerald, J., Hayes, I., Tarlecki, A. (eds.) FM 2005. Springer, Heidelberg
-
Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing Concurrent Object-Oriented Systems with Spec Explorer - Extended Abstract. In: Fitzgerald, J., Hayes, I., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 542-547. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3582
, pp. 542-547
-
-
Campbell, C.1
Grieskamp, W.2
Nachmanson, L.3
Schulte, W.4
Tillmann, N.5
Veanes, M.6
-
13
-
-
43349083046
-
Sensitivity analysis of the metric based test selection
-
Kim, M., Kang, S., Hong, K. (eds.) Chapman & Hall, Boca Raton
-
Curgus, J., Vuong, S.: Sensitivity analysis of the metric based test selection. In: Kim, M., Kang, S., Hong, K. (eds.) Int. Workshop on Testing of Communicating Systems, vol. 10, pp. 200-219. Chapman & Hall, Boca Raton (1997)
-
(1997)
Int. Workshop on Testing of Communicating Systems
, vol.10
, pp. 200-219
-
-
Curgus, J.1
Vuong, S.2
-
14
-
-
0023331721
-
Extensional Equivalences for Transition Systems
-
De Nicola, R.: Extensional Equivalences for Transition Systems. Acta Informatica 24, 211-237 (1987)
-
(1987)
Acta Informatica
, vol.24
, pp. 211-237
-
-
De Nicola, R.1
-
18
-
-
5044221862
-
Test Selection, Trace Distance and Heuristics
-
Schieferdecker, I., König, H., Wolisz, A. (eds.) Kluwer Academic Publishers, Dordrecht
-
Feijs, L., Goga, N., Mauw, S., Tretmans, J.: Test Selection, Trace Distance and Heuristics. In: Schieferdecker, I., König, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 267-282. Kluwer Academic Publishers, Dordrecht (2002)
-
(2002)
Testing of Communicating Systems XIV
, pp. 267-282
-
-
Feijs, L.1
Goga, N.2
Mauw, S.3
Tretmans, J.4
-
19
-
-
24144445643
-
Test Generation Based on Symbolic Specifications
-
Grabowski, J., Nielsen, B. (eds.) FATES 2004. Springer, Heidelberg
-
Frantzen, L., Tretmans, J., Willemse, T.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1-15. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3395
, pp. 1-15
-
-
Frantzen, L.1
Tretmans, J.2
Willemse, T.3
-
20
-
-
84957623309
-
Testing can be formal, too
-
Mosses, P., Nielsen, M., Schwartzbach, M. (eds.) TAPSOFT 1995. Springer, Heidelberg
-
Gaudel, M.C.: Testing can be formal, too. In: Mosses, P., Nielsen, M., Schwartzbach, M. (eds.) TAPSOFT 1995. LNCS, vol. 915, pp. 82-96. Springer, Heidelberg (1995)
-
(1995)
LNCS
, vol.915
, pp. 82-96
-
-
Gaudel, M.C.1
-
21
-
-
79959228604
-
Microsoft's protocol documentation program: A success story for model-based testing
-
Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. Springer, Heidelberg
-
Grieskamp, W.: Microsoft's protocol documentation program: A success story for model-based testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 7-7. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6303
, pp. 7-7
-
-
Grieskamp, W.1
-
22
-
-
79959229115
-
Relating Conformance Test Coverage to Formal Specifications
-
Gotzhein, R. (ed.) Chapman & Hall, Boca Raton
-
Groz, R., Charles, O., Renévot, J.: Relating Conformance Test Coverage to Formal Specifications. In: Gotzhein, R. (ed.) FORTE 1996. Chapman & Hall, Boca Raton (1996)
-
(1996)
FORTE
, vol.1996
-
-
Groz, R.1
Charles, O.2
Renévot, J.3
-
23
-
-
33750547975
-
Domain-Specific Optimization in Automata Learning
-
Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
-
Hungar, H., Margaria, T., Steffen, B.: Domain-Specific Optimization in Automata Learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315-327. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2725
, pp. 315-327
-
-
Hungar, H.1
Margaria, T.2
Steffen, B.3
-
25
-
-
84925147493
-
-
Cambridge University Press, Cambridge
-
Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)
-
(2008)
Model-Based Software Testing and Analysis with C#
-
-
Jacky, J.1
Veanes, M.2
Campbell, C.3
Schulte, W.4
-
26
-
-
23944432682
-
TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems
-
Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer 7(4), 297-315 (2005)
-
(2005)
Software Tools for Technology Transfer
, vol.7
, Issue.4
, pp. 297-315
-
-
Jard, C.1
Jéron, T.2
-
27
-
-
24644500355
-
Symbolic Test Selection based on Approximate Analysis
-
Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. Springer, Heidelberg
-
Jeannet, B., Jéron, T., Rusu, V., Zinovieva, E.: Symbolic Test Selection based on Approximate Analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349-364. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3440
, pp. 349-364
-
-
Jeannet, B.1
Jéron, T.2
Rusu, V.3
Zinovieva, E.4
-
28
-
-
79959214577
-
Observation-Based Modeling for Testing and Verifying Highly Dependable Systems - A Practitioner's Approach
-
Wagner, A. (ed.)
-
Kanstrén, T., Piel, E., Gonzalez-Sanchez, A., Gross, H.G.: Observation-Based Modeling for Testing and Verifying Highly Dependable Systems - A Practitioner's Approach. In: Wagner, A. (ed.) Workshop on Design of Dependable Critical Systems at Safecomp 2009, Hamburg, Germany (September 2009)
-
Workshop on Design of Dependable Critical Systems at Safecomp 2009, Hamburg, Germany (September 2009)
-
-
Kanstrén, T.1
Piel, E.2
Gonzalez-Sanchez, A.3
Gross, H.G.4
-
29
-
-
21144450432
-
Gast: Generic Automated Software Testing
-
Peña, R., Arts, T. (eds.) IFL 2002. Springer, Heidelberg
-
Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic Automated Software Testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84-100. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2670
, pp. 84-100
-
-
Koopman, P.1
Alimarine, A.2
Tretmans, J.3
Plasmeijer, R.4
-
30
-
-
24144442677
-
Online Testing of Real-Time Systems using Uppaal
-
Grabowski, J., Nielsen, B. (eds.) FATES 2004. Springer, Heidelberg
-
Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79-94. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3395
, pp. 79-94
-
-
Larsen, K.1
Mikucionis, M.2
Nielsen, B.3
-
31
-
-
0030212784
-
Principles and Methods for Testing Finite State Machines - A Survey
-
Lee, D., Yannakakis, M.: Principles and Methods for Testing Finite State Machines - A Survey. The Proceedings of the IEEE 84(8), 1090-1123 (1996)
-
(1996)
The Proceedings of the IEEE
, vol.84
, Issue.8
, pp. 1090-1123
-
-
Lee, D.1
Yannakakis, M.2
-
32
-
-
57349167281
-
Automatic generation of software behavioral models
-
ACM, New York
-
Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of software behavioral models. In: ICSE 2008: 30th Int. Conf. on Software Engineering, pp. 501-510. ACM, New York (2008)
-
(2008)
ICSE 2008: 30th Int. Conf. on Software Engineering
, pp. 501-510
-
-
Lorenzoli, D.1
Mariani, L.2
Pezzè, M.3
-
33
-
-
0004215089
-
-
Morgan Kaufmann Publishers Inc., San Francisco
-
Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)
-
(1996)
Distributed Algorithms
-
-
Lynch, N.1
-
35
-
-
70549112173
-
Model-Based Testing of Electronic Passports
-
Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. Springer, Heidelberg
-
Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., Wichers Schreur, R.: Model-Based Testing of Electronic Passports. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 207-209. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5825
, pp. 207-209
-
-
Mostowski, W.1
Poll, E.2
Schmaltz, J.3
Tretmans, J.4
Wichers Schreur, R.5
-
36
-
-
38149050532
-
Integrating Verification, Testing, and Learning for Cryptographic Protocols
-
Davies, J., Gibbons, J. (eds.) IFM 2007. Springer, Heidelberg
-
Oostdijk, M., Rusu, V., Tretmans, J., de Vries, R., Willemse, T.C.: Integrating Verification, Testing, and Learning for Cryptographic Protocols. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 538-557. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4591
, pp. 538-557
-
-
Oostdijk, M.1
Rusu, V.2
Tretmans, J.3
De Vries, R.4
Willemse, T.C.5
-
37
-
-
4544285150
-
Black Box Checking
-
Peled, D., Vardi, M., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages, and Combinatorics 7(2), 225-246 (2002)
-
(2002)
Journal of Automata, Languages, and Combinatorics
, vol.7
, Issue.2
, pp. 225-246
-
-
Peled, D.1
Vardi, M.2
Yannakakis, M.3
-
38
-
-
33745891945
-
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
-
Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. Springer, Heidelberg
-
Petrenko, A.: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196-205. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2067
, pp. 196-205
-
-
Petrenko, A.1
-
39
-
-
70350430875
-
Dynamic testing via automata learning
-
Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Software Tools for Technology Transfer 11(4), 307-324 (2009)
-
(2009)
Software Tools for Technology Transfer
, vol.11
, Issue.4
, pp. 307-324
-
-
Raffelt, H.1
Merten, M.2
Steffen, B.3
Margaria, T.4
-
40
-
-
70350536587
-
LearnLib: A framework for extrapolating behavioral models
-
Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: A framework for extrapolating behavioral models. Software Tools for Technology Transfer 11(5), 393-407 (2009)
-
(2009)
Software Tools for Technology Transfer
, vol.11
, Issue.5
, pp. 393-407
-
-
Raffelt, H.1
Steffen, B.2
Berg, T.3
Margaria, T.4
-
41
-
-
0000101791
-
Test Generation with Inputs, Outputs and Repetitive Quiescence
-
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
-
(1996)
Software - Concepts and Tools
, vol.17
, Issue.3
, pp. 103-120
-
-
Tretmans, J.1
-
43
-
-
43349104926
-
Model Based Testing with Labelled Transition Systems
-
Hierons, R., Bowen, J., Harman, M. (eds.) FORTEST. Springer, Heidelberg
-
Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R., Bowen, J., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1-38. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4949
, pp. 1-38
-
-
Tretmans, J.1
-
44
-
-
79959268129
-
TorX: Automated Model Based Testing
-
Hartman, A., Dussa-Zieger, K. (eds.)
-
Tretmans, J., Brinksma, E.: TorX : Automated Model Based Testing. In: Hartman, A., Dussa-Zieger, K. (eds.) First European Conference on Model-Driven Software Engineering, Imbuss, Möhrendorf, Germany, December 11-12 (2003)
-
First European Conference on Model-Driven Software Engineering, Imbuss, Möhrendorf, Germany, December 11-12 (2003)
-
-
Tretmans, J.1
Brinksma, E.2
-
46
-
-
79959189667
-
Prom 6: The Process Mining Toolkit
-
Verbeek, E., Buijs, J., van Dongen, B., van de Aalst, W.: Prom 6: The Process Mining Toolkit. In: 8th Int. Conf. on Business Process Management - BPM 2010 (2010)
-
8th Int. Conf. on Business Process Management - BPM 2010 (2010)
-
-
Verbeek, E.1
Buijs, J.2
Van Dongen, B.3
Van De Aalst, W.4
-
47
-
-
33646169978
-
Automated Testing in Practice: The Highway Tolling System
-
Schieferdecker, I., König, H., Wolisz, A. (eds.) Kluwer Academic Publishers, Dordrecht
-
de Vries, R., Belinfante, A., Feenstra, J.: Automated Testing in Practice: The Highway Tolling System. In: Schieferdecker, I., König, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 219-234. Kluwer Academic Publishers, Dordrecht (2002)
-
(2002)
Testing of Communicating Systems XIV
, pp. 219-234
-
-
De Vries, R.1
Belinfante, A.2
Feenstra, J.3
-
48
-
-
0042708426
-
Towards Formal Test Purposes
-
Brinksma, E., Tretmans, J. (eds.) Formal Approaches to Testing of Software - FATES 2001. BRICS, University of Aarhus, Denmark
-
de Vries, R., Tretmans, J.: Towards Formal Test Purposes. In: Brinksma, E., Tretmans, J. (eds.) Formal Approaches to Testing of Software - FATES 2001. BRICS Notes Series, vol. NS-01-4, pp. 61-76. BRICS, University of Aarhus, Denmark (2001)
-
(2001)
BRICS Notes Series
, vol.NS-01-4
, pp. 61-76
-
-
De Vries, R.1
Tretmans, J.2
-
49
-
-
36348933841
-
Heuristics for ioco-Based Test-Based Modelling
-
Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. Springer, Heidelberg
-
Willemse, T.: Heuristics for ioco-Based Test-Based Modelling. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, pp. 132-147. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4346
, pp. 132-147
-
-
Willemse, T.1
-
50
-
-
79959282805
-
-
Master's thesis, Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands
-
Zhu, F.: Testing Timed Systems in Simulated Time with Uppaal-Tron: An Industrial Case Study. Master's thesis, Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands (2010)
-
(2010)
Testing Timed Systems in Simulated Time with Uppaal-Tron: An Industrial Case Study
-
-
Zhu, F.1
|