Inferring extended finite state machine models from software executions
Open accessThe claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
SIDS is resource-intensive because a large signature database must be maintained and checked against the data packets for potential intrusions.
“This method is also resource-intensive because a large signature database must be maintained and checked against the data packets for potential intrusions [241].”
From Comparative Analysis of Intrusion Detection Systems and Machine Learning Based Model Analysis through Decision Tree (2023) · cites this paper as [241]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
A decision-theoretic generalization of on-line learning and an application to boosting
Freund, Y., & Schapire, R. (1997) · European Conference on Computational Learning Theory · doi:10.1007/3-540-59119-2_166 · Cited by 23,988 · see citing works
(1992) · Cited by 23,431 · see citing works
A decision-theoretic generalization of on-line learning and an application to boosting
Freund, Y., & Schapire, R. E. (1997) · Journal of Computer and System Sciences · doi:10.1006/jcss.1997.1504 · Cited by 20,466 · see citing works
The WEKA data mining software: an update
Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., & Witten, I. H. (2009) · ACM SIGKDD Explorations Newsletter · doi:10.1145/1656274.1656278 · Cited by 17,750 · see citing works
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection
Kohavi, R. (1995) · Zenodo · doi:10.5281/zenodo.19712698 · Cited by 10,909 · see citing works
A systematic analysis of performance measures for classification tasks
Sokolova, M., & Lapalme, G. (2009) · Information Processing & Management · doi:10.1016/j.ipm.2009.03.002 · Cited by 7,515 · see citing works
Valiant, L. G. (1984) · ACM eBooks · doi:10.1145/3749740.3749746 · Cited by 4,211 · see citing works
Language identification in the limit
Gold, E. M. (1967) · Information and Control · doi:10.1016/s0019-9958(67)91165-5 · Cited by 3,572 · see citing works
Valiant, L. G. (1984) · Communications of the ACM · doi:10.1145/1968.1972 · Cited by 3,279 · see citing works
Learning regular sets from queries and counterexamples
Angluin, D. (1987) · Information and Computation · doi:10.1016/0890-5401(87)90052-6 · Cited by 2,099 · see citing works
Counterexample-Guided Abstraction Refinement
Clarke, E. M., Grümberg, O., Jha, S., et al. (2000) · Lecture notes in computer science · doi:10.1007/10722167_15 · Cited by 1,711 · see citing works
The Lack of A Priori Distinctions Between Learning Algorithms
Wolpert, D. H. (1996) · Neural Computation · doi:10.1162/neco.1996.8.7.1341 · Cited by 1,652 · see citing works
Dynamically discovering likely program invariants to support program evolution
Ernst, M. D., Cockrell, J., Griswold, W. G., & Notkin, D. S. (2001) · IEEE Transactions on Software Engineering · doi:10.1109/32.908957 · Cited by 1,037 · see citing works
Discovering models of software processes from event-based data
Cook, J., & Wolf, A. L. (1998) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/287000.287001 · Cited by 870 · see citing works
The Abstract State Machines Method for High-Level System Design and Analysis
Börger, E. (2009) · Springer eBooks · doi:10.1007/978-1-84882-736-3_3 · Cited by 844 · see citing works
LSCs: Breathing Life into Message Sequence Charts
Damm, W., & Harel, D. (2001) · Formal Methods in System Design · doi:10.1023/a:1011227529550 · Cited by 823 · see citing works
Ammons, G., Bodík, R., & Larus, J. R. (2002) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · doi:10.1145/503272.503275 · Cited by 669 · see citing works
Börger, E., & Stärk, R. F. (2003) · Springer eBooks · doi:10.1007/978-3-642-18216-7 · Cited by 664 · see citing works
Does code decay? Assessing the evidence from change management data
Eick, S. G., Graves, T., Karr, A. F., Marron, J. S., & Mockus, A. (2001) · IEEE Transactions on Software Engineering · doi:10.1109/32.895984 · Cited by 637 · see citing works
On the Synthesis of Finite-State Machines from Samples of Their Behavior
Biermann, A. W., & Feldman, J. A. (1972) · IEEE Transactions on Computers · doi:10.1109/tc.1972.5009015 · Cited by 513 · see citing works
Weak Mutation Testing and Completeness of Test Sets
Howden, W. E. (1982) · IEEE Transactions on Software Engineering · doi:10.1109/tse.1982.235571 · Cited by 480 · see citing works
Weiss, S. M., & Kapouleas, I. (1989) · Cited by 465 · see citing works
Automatic generation of software behavioral models
Lorenzoli, D., Mariani, L., & Pezzè, M. (2008) · Proceedings/Proceedings - International Conference on Software Engineering · doi:10.1145/1368088.1368157 · Cited by 420 · see citing works
Using formal specifications to support testing
Hierons, R. M., Bogdanov, K., Bowen, J. P., Rance Cleaveland, Y., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., et al. (2009) · ACM Computing Surveys · doi:10.1145/1459352.1459354 · Cited by 357 · see citing works
Self-citationLang, K. J., Pearlmutter, B. A., & Price, R. A. (1998) · Lecture notes in computer science · doi:10.1007/bfb0054059 · Cited by 333 · see citing works
Adaptive, model-based monitoring for cyber attack detection
Valdes, A., & Skinner, K. (2000) · Lecture Notes in Computer Science · doi:10.1007/3-540-39945-3_6 · Cited by 309 · see citing works
Automatic functional test generation using the extended finite state machine model
Cheng, K.-T. T., & Krishnakumar, A. S. (1993) · doi:10.1145/157485.164585 · Cited by 286 · see citing works
A bibliographical study of grammatical inference
de la Higuera, C. (2005) · Pattern Recognition · doi:10.1016/j.patcog.2005.01.003 · Cited by 235 · see citing works
Mining object behavior with ADABU
Dallmeier, V., Lindig, C., Wasylkowski, A., & Zeller, A. (2006) · doi:10.1145/1138912.1138918 · Cited by 185 · see citing works
Classification of software behaviors for failure detection
Lo, D., Cheng, H., Han, J., Khoo, S., & Sun, C. P. (2009) · ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) · doi:10.1145/1557019.1557083 · Cited by 180 · see citing works
Automata Learning through Counterexample Guided Abstraction Refinement
Aarts, F., Heidarian, F., Kuppens, H. C., et al. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-32759-9_4 · Cited by 139 · see citing works
X-machines as a basis for dynamic system specification
Holcombe, M. (1988) · Software Engineering Journal · doi:10.1049/sej.1988.0009 · Cited by 132 · see citing works
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
Just, R., Schweiggert, F., & Kapfhammer, G. M. (2011) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2011.6100138 · Cited by 131 · see citing works
CONIC: an integrated approach to distributed computer control systems
Kramer, J., Magee, J., Sloman, M. S., et al. (1983) · OpenGrey (Institut de l'Information Scientifique et Technique) · doi:10.1049/ip-e:19830001 · Cited by 121 · see citing works
Generating annotated behavior models from end-user scenarios
Damas, C., Lambeau, B., Dupont, P., et al. (2005) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2005.138 · Cited by 112 · see citing works
Inferring Canonical Register Automata
Howar, F. M., Steffen, B., Jönsson, B., et al. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-27940-9_17 · Cited by 104 · see citing works
QUARK: Empirical Assessment of Automaton-based Specification Miners
Lo, D., & Khoo, S. (2006) · Proceedings - Working Conference on Reverse Engineering · doi:10.1109/wcre.2006.47 · Cited by 93 · see citing works
Automatic mining of specifications from invocation traces and method invariants
Krka, I., Brun, Y., & Medvidović, N. (2014) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2635868.2635890 · Cited by 81 · see citing works
Reverse Engineering State Machines by Interactive Grammar Inference
Walkinshaw, N., Bogdanov, K., Holcombe, M., et al. (2007) · Proceedings - Working Conference on Reverse Engineering · doi:10.1109/wcre.2007.45 · Cited by 77 · see citing works
Self-citationScenario-based and value-based specification mining
Lo, D., & Maoz, S. (2010) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/1858996.1859081 · Cited by 72 · see citing works
Mining parametric specifications
Lee, C.-H., Chen, F., & Roşu, G. (2011) · Proceedings/Proceedings - International Conference on Software Engineering · doi:10.1145/1985793.1985874 · Cited by 68 · see citing works
Automatically Generating Test Cases for Specification Mining
Dallmeier, V., Knopp, N., Mallon, C., Fraser, G., Hack, S., & Zeller, A. (2012) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2011.105 · Cited by 67 · see citing works
Variable-structure systems and system zeros
El-Ghezawi, O. M. E., Billings, S. A., & ZINOBER, A. S. I. (1983) · IEE Proceedings D Control Theory and Applications · doi:10.1049/ip-d.1983.0001 · Cited by 64 · see citing works
Learning extended FSA from software: An empirical assessment
Lo, D., Mariani, L., & Santoro, M. (2012) · Journal of Systems and Software · doi:10.1016/j.jss.2012.04.001 · Cited by 56 · see citing works
Increasing Functional Coverage by Inductive Testing: A Case Study
Walkinshaw, N., Bogdanov, K., Derrick, J., et al. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-16573-3_10 · Cited by 51 · see citing works
Self-citationWalkinshaw, N., Lambeau, B., Damas, C., et al. (2012) · Empirical Software Engineering · doi:10.1007/s10664-012-9210-3 · Cited by 49 · see citing works
Self-citationIterative Refinement of Reverse-Engineered Models by Model-Based Testing
Walkinshaw, N., Derrick, J., & Guo, Q. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-05089-3_20 · Cited by 47 · see citing works
Self-citationDevelopment of a verified Erlang program for resource locking
Arts, T., Earle, C. B., & Derrick, J. (2004) · International Journal on Software Tools for Technology Transfer · doi:10.1007/s10009-003-0114-9 · Cited by 34 · see citing works
Self-citationAutomated Comparison of State-Based Software Models in Terms of Their Language and Structure
Walkinshaw, N., & Bogdanov, K. (2013) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/2430545.2430549 · Cited by 33 · see citing works
Self-citationA theoretical and empirical study of EFSM dependence
Androutsopoulos, K., Gold, N., Harman, M., et al. (2009) · Proceedings/Proceedings - Conference on Software Maintenance · doi:10.1109/icsm.2009.5306309 · Cited by 33 · see citing works
Automated discovery of state transitions and their functions in source code
Walkinshaw, N., Bogdanov, K., Ali, S., et al. (2007) · Software Testing Verification and Reliability · doi:10.1002/stvr.380 · Cited by 29 · see citing works
Self-citationScenario-based and value-based specification mining: better together
Lo, D., & Maoz, S. (2012) · Automated Software Engineering · doi:10.1007/s10515-012-0103-x · Cited by 28 · see citing works
Inferring Extended Finite State Machine models from software executions
Walkinshaw, N., Taylor, R. G., & Derrick, J. (2013) · Working Conference on Reverse Engineering (WCRE) · doi:10.1109/wcre.2013.6671305 · Cited by 25 · see citing works
Self-citationBehaviourally Adequate Software Testing
Fraser, G., & Walkinshaw, N. (2012) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst.2012.110 · Cited by 23 · see citing works
Self-citationUsing Behaviour Inference to Optimise Regression Test Sets
Taylor, R. G., Hall, M., Bogdanov, K., et al. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-34691-0_14 · Cited by 17 · see citing works
Self-citationA User-extensible Refactoring Tool for Erlang Programs
Li, H., & Thompson, S. (2011) · Kent Academic Repository (University of Kent) · Cited by 16 · see citing works
An Application of a Method for Analysis of Cyclic Prog rams
Francez, N. (1978) · IEEE Transactions on Software Engineering · doi:10.1109/tse.1978.233857 · Cited by 9 · see citing works
Proceedings of the 2006 international workshop on Dynamic systems analysis
Gupta, N., & Podgurski, A. (2006) · Cited by 8 · see citing works
Mining State-Based Models from Proof Corpora
Gransden, T., Walkinshaw, N., & Raman, R. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-08434-3_21 · Cited by 5 · see citing works
Self-citation
Flagged first, then by citations
Research works printed but not linked: 4
- [9]9. Cesarini F, Thompson S (2011) Erlang by Example. O'Reilly Media
- [11]11. Clarke E, Grumberg O, Jha S, Lu Y, Veith H (2000) Counterexampleguided abstraction refinement. In: Computer aided verification, Springer, pp 154-169
- [19]19. Freund Y, Schapire R (1995) A desicion-theoretic generalization of online learning and an application to boosting. In: Computational learning theory, Springer, pp 23-37
- [39]39. Mitchell T (1997) Machine Learning. McGraw-Hill
Cited by
Sorted by citations
Survey of intrusion detection systems: Techniques, datasets and challenges
Khraisat, A., Gondal, I., Vamplew, P., & Kamruzzaman, J. (2019) · Cybersecurity · doi:10.1186/s42400-019-0038-7 · Cited by 2,024 · see citing works
Azam, Z., Islam, M. M., & Huda, M. N. (2023) · IEEE Access · doi:10.1109/access.2023.3296444 · Cited by 265 · see citing works
Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster
Cao, C., Blaise, A., Verwer, S., & Rebecchi, F. (2022) · Proceedings of the 17th International Conference on Availability, Reliability and Security · doi:10.1145/3538969.3543810 · Cited by 27 · see citing works
- Authors
- Walkinshaw, N., Taylor, R., & Derrick, J.
- Affiliations
- University of Leicester (GB)
- University of Sheffield (GB)
- Corresponding author
- Walkinshaw, Neil
- Venue
- Empirical Software Engineering
- Published
- 2015-03-17
- Volume
- 21
- Issue
- 3
- Pages
- 811-853
- ISSN
- 1382-3256 (ISSN-L)
- 1573-7616
- OpenAlex
- W2026252407
- Cited by
- 127
- References
- 59
- Citations by year
- 2026: 1 · 2025: 10 · 2024: 8 · 2023: 9 · 2022: 12 · 2021: 12 · 2020: 21 · 2019: 15 · 2018: 15 · 2017: 13 · 2016: 7 · 2015: 4
- FWCI
- 54.73
- Type
- journal article
- Language
- en
- Open access
- green
- figshare.com
- Licence
- Locations
- Empirical Software Engineering (publishedVersion)
- White Rose Research Online (University of Leeds, The University of Sheffield, University of York) (acceptedVersion)
- Figshare (submittedVersion, cc-by)
- Leicester Research Archive (University of Leicester) (submittedVersion)
- Funders
- Engineering and Physical Sciences Research Council (EP/M017044/1)
- Topics
- Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
- Physical Sciences › Computer Science › Information Systems › Software Engineering Research
- Physical Sciences › Computer Science › Software › Model-Driven Software Engineering Techniques
- Keywords
- extended finite state machines, reverse engineering, non-determinism, software maintenance, software verification
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
