Automatically Generating Test Cases for Specification Mining

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

Symbolic execution and program testing

King, J. C. (1976) · Communications of the ACM · doi:10.1145/360248.360252 · Cited by 3,001 · see citing works

Search‐based software test data generation: a survey

McMinn, P. (2004) · Software Testing Verification and Reliability · doi:10.1002/stvr.294 · Cited by 1,376 · 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

Mining specifications

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

Typestate: A programming language concept for enhancing software reliability

Strom, R., & Yemini, S. (1986) · IEEE Transactions on Software Engineering · doi:10.1109/tse.1986.6312929 · Cited by 625 · see citing works

Bug isolation via remote program sampling

Liblit, B., Aiken, A., Zheng, A. X., & Jordan, M. I. (2003) · ACM SIGPLAN Notices · doi:10.1145/780822.781148 · Cited by 507 · see citing works

Hybrid Concolic Testing

Majumdar, R., & Sen, K. (2007) · Proceedings/Proceedings - International Conference on Software Engineering · doi:10.1109/icse.2007.41 · Cited by 428 · 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

Evolutionary testing of classes

Tonella, P. (2004) · Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis · doi:10.1145/1007512.1007528 · Cited by 410 · 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

Detecting object usage anomalies

Wasylkowski, A., Zeller, A., & Lindig, C. (2007) · doi:10.1145/1287624.1287632 · Cited by 274 · see citing works

Automatic extraction of object-oriented component interfaces

Whaley, J., Martin, M. C., & Lam, M. S. (2002) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/566171.566212 · Cited by 261 · see citing works

Typestates for Objects

DeLine, R. A., & Fähndrich, M. A. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24851-4_21 · Cited by 254 · see citing works

Refinement-based context-sensitive points-to analysis for Java

Sridharan, M., & Bodík, R. (2006) · ACM SIGPLAN Notices · doi:10.1145/1133255.1134027 · Cited by 242 · see citing works

Invariant-based automatic testing of AJAX user interfaces

Mesbah, A., & van Deursen, A. (2009) · doi:10.1109/icse.2009.5070522 · Cited by 202 · see citing works

Modular typestate checking of aliased objects

Bierhoff, K., & Aldrich, J. (2007) · ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) · doi:10.1145/1297027.1297050 · Cited by 189 · 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

Effective typestate verification in the presence of aliasing

Fink, S. J., Yahav, E., Dor, N., Ramalingam, G., & Geay, E. (2008) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/1348250.1348255 · Cited by 170 · see citing works

Mutation-driven generation of unit tests and oracles

Fraser, G., & Zeller, A. (2010) · International Symposium on Software Testing and Analysis · doi:10.1145/1831708.1831728 · Cited by 155 · see citing works

Automatic extraction of object-oriented component interfaces

Whaley, J., Martin, M. C., & Lam, M. S. (2002) · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · doi:10.1145/566172.566212 · Cited by 144 · see citing works

Generating test cases for specification mining

Dallmeier, V., Knopp, N., Mallon, C., Hack, S., & Zeller, A. (2010) · International Symposium on Software Testing and Analysis · doi:10.1145/1831708.1831719 · Cited by 142 · see citing works

Static specification mining using automata-based abstractions

Shoham, S., Yahav, E., Fink, S. J., & Pistoia, M. (2007) · International Symposium on Software Testing and Analysis · doi:10.1145/1273463.1273487 · Cited by 137 · see citing works

Generating Fixes from Object Behavior Anomalies

Dallmeier, V., Zeller, A., & Meyer, B. (2009) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2009.15 · Cited by 133 · see citing works

Automatic synthesis of behavior protocols for composable web-services

Bertolino, A., Inverardi, P., Pelliccione, P., & Tivoli, M. (2009) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/1595696.1595719 · Cited by 130 · see citing works

Static specification inference using predicate mining

Ramanathan, M. K., Grama, A. Y., & Jagannathan, S. (2007) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · doi:10.1145/1250734.1250749 · Cited by 107 · see citing works

Evolutionary testing of classes

Tonella, P. (2004) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/1013886.1007528 · Cited by 89 · see citing works

Experimental assessment of random testing for object-oriented software

Ciupa, I., Leitner, A., Manuel Oriol, B., & Meyer, B. (2007) · International Symposium on Software Testing and Analysis · doi:10.1145/1273463.1273476 · Cited by 83 · see citing works

Programs That Test Themselves

Meyer, B., Fiva, A., Ciupa, I., Leitner, A., Wei, Y., & Stapf, E. (2009) · Computer · doi:10.1109/mc.2009.296 · Cited by 74 · see citing works

Online testing with model programs

Veanes, M., Campbell, C., Schulte, W., & Tillmann, N. (2005) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/1081706.1081751 · Cited by 68 · see citing works

The Spec# Programming System: Challenges and Directions

Barnett, M., DeLine, R. A., Fähndrich, M. A., Jacobs, B., Leino, K. R. M., Schulte, W., & Venter, H. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-69149-5_16 · Cited by 66 · see citing works

Mutually Enhancing Test Generation and Specification Inference

Xie, T., & Notkin, D. S. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24617-6_5 · Cited by 65 · see citing works

Korat: A Tool for Generating Structurally Complex Test Inputs

Milicevic, A., Misailovíc, S., Marinov, D., & Sarfraz Khurshid, D. (2007) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse.2007.48 · Cited by 58 · see citing works

Automatic extraction of object-oriented component interfaces

Whaley, J., Martin, M. C., & Lam, M. S. (2002) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/566210.566212 · Cited by 46 · see citing works

Pervasive Verification of an OS Microkernel

Alkassar, E., Paul, W. J., Starostin, A., & Tsyban, A. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-15057-9_5 · Cited by 35 · see citing works

A new structural coverage criterion for dynamic detection of program invariants

Gupta, N., & Heidepriem, Z. (2003) · Cited by 34 · see citing works

Pervasive verification of an OS microkernel: inline assembly, memory consumption, concurrent devices

Alkassar, E., Paul, W. J., Starostin, A. N., & Tsyban, A. (2010) · Cited by 27 · see citing works

A new structural coverage criterion for dynamic detection of program invariants

Gupta, N., & Heidepriem, Z. (2004) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2003.1240294 · Cited by 23 · see citing works

Online testing with model programs

Veanes, M., Campbell, C., Schulte, W., & Tillmann, N. (2005) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/1095430.1081751 · Cited by 19 · see citing works

Continuous code-quality assurance with SAFE

Geay, E., Yahav, E., & Fink, S. J. (2006) · doi:10.1145/1111542.1111567 · Cited by 12 · see citing works

Fairness testing: testing software for discrimination

Galhotra, S., Brun, Y., & Meliou, A. (2017) · Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering · doi:10.1145/3106237.3106277 · Cited by 405 · see citing works

Heterogeneous Defect Prediction

Nam, J., Fu, W., Kim, S., Menzies, T., & Tan, L. (2017) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2017.2720603 · Cited by 269 · see citing works

Automated library recommendation

Thung, F., Lo, D., & Lawall, J. (2013) · Working Conference on Reverse Engineering (WCRE) · doi:10.1109/wcre.2013.6671293 · Cited by 140 · see citing works

Inferring extended finite state machine models from software executions

Walkinshaw, N., Taylor, R., & Derrick, J. (2016) · Empirical Software Engineering · doi:10.1007/s10664-015-9367-7 · Cited by 127 · see citing works

Automatic recommendation of API methods from feature requests

Thung, F., Wang, S., Lo, D., & Lawall, J. (2013) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2013.6693088 · Cited by 124 · 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

GRT: Program-Analysis-Guided Random Testing (T)

Ma, L., Artho, C. V., Zhang, C., Satō, H., Gmeiner, J., & Ramler, R. (2015) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2015.49 · Cited by 72 · see citing works

Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios

Linares‐Vásquez, M., White, M., Bernal-Cárdenas, C., Moran, K., & Poshyvanyk, D. (2015) · International Conference on Mining Software Repositories (MSR) · doi:10.1109/msr.2015.18 · Cited by 61 · see citing works

Automated refinement of models for model-based testing using exploratory testing

Gebizli, C. Ş., & Sözer, H. (2016) · Software Quality Journal · doi:10.1007/s11219-016-9338-2 · Cited by 49 · see citing works

Deep specification mining

Le, T.-D. B., & Lo, D. (2018) · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · doi:10.1145/3213846.3213876 · Cited by 49 · see citing works

Automatic testing of GUI‐based applications

Mariani, L., Pezzè, M., Riganelli, O., & Santoro, M. (2014) · Software Testing Verification and Reliability · doi:10.1002/stvr.1538 · Cited by 37 · see citing works

Automatic synthesis of modular connectors via composition of protocol mediation patterns

Inverardi, P., & Tivoli, M. (2013) · doi:10.5555/2486788.2486790 · Cited by 37 · see citing works

Timed k-Tail: Automatic Inference of Timed Automata

Pastore, F., Micucci, D., & Mariani, L. (2017) · IEEE International Conference on Software Testing, Verification and Validation (ICST) · doi:10.1109/icst.2017.43 · Cited by 37 · see citing works

Termination proofs from tests

Nori, A. V., & Sharma, R. (2013) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2491411.2491413 · Cited by 35 · see citing works

Behavioral log analysis with statistical guarantees

Busany, N., & Maoz, S. (2016) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/2884781.2884805 · Cited by 34 · see citing works

Search-based synthesis of equivalent method sequences

Goffi, A., Gorla, A., Mattavelli, A., Pezzè, M., & Tonella, P. (2014) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2635868.2635888 · Cited by 33 · see citing works

The first decade of GUI ripping: Extensions, applications, and broader impacts

Memon, A. M., Banerjee, I., Nguyen, B. N., & Robbins, B. (2013) · Working Conference on Reverse Engineering (WCRE) · doi:10.1109/wcre.2013.6671275 · Cited by 31 · see citing works

GK-Tail+ An Efficient Approach to Learn Software Models

Mariani, L., Pezzè, M., & Santoro, M. (2016) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2016.2623623 · Cited by 31 · see citing works

Automatic synthesis of modular connectors via composition of protocol mediation patterns

Inverardi, P., & Tivoli, M. (2013) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse.2013.6606546 · Cited by 30 · see citing works

Model-Driven Systems Engineering: Principles and Application in the CPPS Domain

Berardinelli, L., Mazak, A., Alt, O., Wimmer, M., & Kappel, G. (2017) · Springer eBooks · doi:10.1007/978-3-319-56345-9_11 · Cited by 29 · see citing works

Automatic Discovery of Behavioral Models From Software Execution Data

Liu, C. (2018) · IEEE Transactions on Automation Science and Engineering · doi:10.1109/tase.2018.2844725 · Cited by 29 · see citing works

Mining Timed Regular Specifications from System Traces

Narayan, A., Cutulenco, G., Joshi, Y., & Fischmeister, S. (2018) · ACM Transactions on Embedded Computing Systems · doi:10.1145/3147660 · 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

Dynamic property mining for embedded software

Bonato, M., Guglielmo, G. D., Fujita, M., Fummi, F., & Pravadelli, G. (2012) · International Conference on Hardware/Software Codesign and System Synthesis · doi:10.1145/2380445.2380479 · Cited by 21 · see citing works

Mining timed regular expressions from system traces

Cutulenco, G., Joshi, Y., Narayan, A., & Fischmeister, S. (2016) · International Workshop on Software Mining (SoftwareMining) · doi:10.1145/2975961.2975962 · Cited by 18 · see citing works

ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines

Lin, Y., Lai, Y., Bui, Q. T., & Lai, Y. (2020) · Journal of Network and Computer Applications · doi:10.1016/j.jnca.2020.102819 · Cited by 18 · see citing works

TLV: abstraction through testing, learning, and validation

Sun, J., Xiao, H., Liu, Y., Lin, S., & Qin, S. (2015) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2786805.2786817 · Cited by 16 · see citing works

hW-inference: A heuristic approach to retrieve models through black box testing

Groz, R., Brémond, N., Simao, A. D. S., & Oriat, C. (2019) · Journal of Systems and Software · doi:10.1016/j.jss.2019.110426 · Cited by 16 · see citing works

Statistical Log Differencing

Bao, L., Busany, N., Lo, D., & Maoz, S. (2019) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2019.00084 · Cited by 15 · see citing works

Automated synthesis of application-layer connectors from automata-based specifications

Autili, M., Inverardi, P., Spalazzese, R., Tivoli, M., & Mignosi, F. (2019) · Journal of Computer and System Sciences · doi:10.1016/j.jcss.2019.03.001 · Cited by 14 · see citing works

Have We Seen Enough Traces? (T)

Cohen, H., & Maoz, S. (2015) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1109/ase.2015.62 · Cited by 14 · see citing works

AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs

Cohen, M. B., Huang, S., & Memon, A. M. (2012) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre.2012.33 · Cited by 13 · see citing works

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

Autili, M., Inverardi, P., Mignosi, F., Spalazzese, R., & Tivoli, M. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-15579-1_1 · Cited by 12 · see citing works

Log‐based anomaly detection for distributed systems: State of the art, industry experience, and open issues

Wei, X., Wang, J., Sun, C., Towey, D., Shoufeng, Z., Zuo, W., Yu, Y., Ruan, R., & Song, G. (2024) · Journal of Software Evolution and Process · doi:10.1002/smr.2650 · Cited by 14 · see citing works

Discovering specification violations in networked software systems

Walls, R. J., Brun, Y., Liberatore, M., & Levine, B. N. (2015) · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · doi:10.1109/issre.2015.7381842 · Cited by 9 · see citing works

Behavioral log analysis with statistical guarantees

Busany, N., & Maoz, S. (2015) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2786805.2803198 · Cited by 9 · see citing works

Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis

Zhang, M., Zhou, C., Liu, J., Wang, M., Liang, J., Zhu, J., & Jiang, Y. (2023) · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · doi:10.1109/icse-seip58684.2023.00013 · Cited by 8 · see citing works

SpecMiner: Heuristic-based mining of service behavioral models from interaction traces

Kabir, M. A., Han, J., Hossain, M. A., & Versteeg, S. (2020) · Future Generation Computer Systems · doi:10.1016/j.future.2020.10.033 · Cited by 8 · see citing works

TkT: Automatic Inference of Timed and Extended Pushdown Automata

Pastore, F., Micucci, D., Guzmán, M., & Mariani, L. (2020) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2020.2998527 · Cited by 7 · see citing works

Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving

Shi, Y., Lu, C., Zhang, M., Zhang, H., Yue, T., & Ali, S. (2021) · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · doi:10.1109/models50736.2021.00019 · Cited by 7 · see citing works

APP-Miner: Detecting API Misuses via Automatically Mining API Path Patterns

Jiang, J., Wu, J., Ling, X. G., Luo, T., Qu, S., & Wu, Y. (2024) · IEEE Symposium on Security and Privacy (S&P) · doi:10.1109/sp54263.2024.00043 · Cited by 6 · see citing works

Enabledness-based Testing of Object Protocols

Godoy, J., Galeotti, J. P., Garbervetsky, D., & Uchitel, S. (2021) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3415153 · Cited by 6 · see citing works

An Empirical Study on Practicality of Specification Mining Algorithms on a Real-World Application

Mashhadi, M. J., & Hemmati, H. (2019) · IEEE International Conference on Program Comprehension (ICPC) · doi:10.1109/icpc.2019.00020 · Cited by 6 · see citing works

Execution-Based Model Profiling

Mazak, A., Wimmer, M., & Patsuk-Bösch, P. (2018) · Lecture notes in business information processing · doi:10.1007/978-3-319-74161-1_3 · Cited by 5 · see citing works

Producing software by integration: challenges and research directions (keynote)

Inverardi, P., Autili, M., Ruscio, D. D., Pelliccione, P., & Tivoli, M. (2013) · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · doi:10.1145/2491411.2505428 · Cited by 5 · see citing works

ModelLAND: Where Do Models Come from?

Autili, M., Ruscio, D. D., Inverardi, P., Pelliccione, P., & Tivoli, M. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-08915-7_6 · Cited by 5 · see citing works

Hybrid deep neural networks to infer state models of black-box systems

Mashhadi, M. J., & Hemmati, H. (2020) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/3324884.3416559 · Cited by 5 · see citing works

Automated Integration of Service-Oriented Software Systems

Autili, M., Inverardi, P., & Tivoli, M. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-24644-4_2 · Cited by 5 · see citing works

The confidence in our k-tails

Cohen, H., & Maoz, S. (2014) · IEEE/ACM International Conference on Automated Software Engineering (ASE) · doi:10.1145/2642937.2642944 · Cited by 4 · see citing works

Automatic model learning and its applications in malware detection

Hao, X. (2017) · doi:10.32657/10356/72506 · Cited by 4 · see citing works

Compositional Mining of Multiple Object API Protocols through State Abstraction

Dai, Z., Mao, X., Lei, Y., Qi, Y., Wang, R., & Gu, B. (2013) · The Scientific World JOURNAL · doi:10.1155/2013/171647 · Cited by 3 · see citing works

Continuous and Focused Developer Feedback on Software Quality (CoFoDeF)

Wagner, S. (2015) · Research Ideas and Outcomes · doi:10.3897/rio.1.e7576 · Cited by 3 · see citing works

An Effective Approach to Test Suite Reduction and Fault Detection Using Data Mining Techniques

Subashini, B., & Mala, D. J. (2017) · International Journal of Open Source Software and Processes · doi:10.4018/ijossp.2017100101 · Cited by 3 · see citing works

Inferring data model from service interactions for response generation in service virtualization

Hossain, M. A., Jiang, J., Han, J., Kabir, M. A., Schneider, J.-G., & Chengfei Liu, A. (2022) · Information and Software Technology · doi:10.1016/j.infsof.2021.106803 · Cited by 2 · see citing works

Exploring Software Security Test Generation Techniques: Challenges and Opportunities

Alenezi, M., Akour, M., & Basit, H. A. (2021) · International Journal of Education and Information Technologies · doi:10.46300/9109.2021.15.11 · Cited by 2 · see citing works

Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis

Wallner, F. (2024) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1145/3639478.3639793 · Cited by 1 · see citing works

Partial Specifications of Libraries: Applications in Software Engineering

Itsykson, V. (2021) · Communications in computer and information science · doi:10.1007/978-3-030-71472-7_1 · Cited by 1 · see citing works

Best Test Cases Selection Approach Using Genetic Algorithm

Yousef, N., Altarwaneh, H., & Alhroob, A. (2015) · Computer and Information Science · doi:10.5539/cis.v8n1p25 · Cited by 1 · see citing works

A mapping study of scientific merit of papers which subject are Web applications test techniques, considering their validity threats

Nascimento, A. G. S. (2018) · Journal of Information Systems and Technology Management · doi:10.4301/s1807-1775201815006 · Cited by 1 · see citing works

Model generation of component-based systems

Salva, S., & Blot, E. (2020) · Software Quality Journal · doi:10.1007/s11219-019-09485-y · Cited by 1 · see citing works

Leveraging specifications of subcomponents to mine precise specifications of composite components

Dai, Z., Mao, X., Lei, Y., & Chen, L. (2013) · Working Conference on Reverse Engineering (WCRE) · doi:10.1109/wcre.2013.6671291

Finding related events for specification mining

Dai, Z., Mao, X., Chen, L., Lei, Y., & Zhang, Y. (2013) · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · doi:10.1109/issrew.2013.6688847

MEASURING EFFORT FOR MODIFYING SOFTWARE PACKAGE AS REUSABLE PACKAGE USING PACKAGE SPECIFICATION MINING

Ranjani, P. (2013) · International Journal of Research in Engineering and Technology · doi:10.15623/ijret.2013.0211049

An oversampling approach for mining program specifications

Chen, D., Zhang, Y.-D., Wei, W., Wang, R., Li, X., Liu, W., Wang, S., & Zhu, R. (2018) · Frontiers of Information Technology & Electronic Engineering · doi:10.1631/fitee.1601783

Behavioral model inference of black-box software using deep neural networks

Mashhadi, M. J., Ataiefard, F., Hemmati, H., & Walkinshaw, N. (2021) · White Rose Research Online (University of Leeds, The University of Sheffield, University of York)

An Effective Approach to Test Suite Reduction and Fault Detection Using Data Mining Techniques

Subashini, B., & Mala, D. J. (2021) · IGI Global eBooks · doi:10.4018/978-1-6684-3702-5.ch056

SFA-Miner: Mining Path-Sensitive API Usage Patterns Via Symbolic Finite Automata

Jiang, J., Zheng, M., Shi, Q., & Zhang, X. (2026) · IEEE Symposium on Security and Privacy (S&P) · doi:10.1109/sp63933.2026.00056

Generating test cases for specification mining

Dallmeier, V., Knopp, N., Mallon, C., Hack, S., & Zeller, A. (2010) · International Symposium on Software Testing and Analysis · doi:10.1145/1831708.1831719 · Cited by 142 · see citing works

Leveraging test generation and specification mining for automated bug detection without false positives

Pradel, M., & Gross, T. R. (2012) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · doi:10.1109/icse.2012.6227185 · Cited by 46 · see citing works

Producing Test Cases Robotically by Using Specification Mining and Code Coverage

Vydehi, M. S., & Ms. Sathyabama, B. (2013)

Mutually enhancing test generation and specification inference

Xie, T., & Notkin, D. S. (2004) · Cited by 20 · see citing works

Automatic test generation based on formal specifications: practical procedures for efficient state space exploration and improved representation of test cases.

Schmitt, M. (2003) · Cited by 5 · see citing works