• *Search*: A Symbolic Java Virtual Machine for Test Case Generation

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 5*number_thousands_separator*787

1

A Symbolic Java Virtual Machine for Test Case Generation
Müller, R.A. (Roger) ; Lembeck, C. (Christoph) ; Kuchen, H. (Herbert) ; et al.

Software Testing Structural Testing Symbolic Virtual Machine Java ddc:004 info:eu-repo/classificat... …
*Report*
*Add to favorites*
2

A Symbolic Java Virtual Machine for Test Case Generation
Müller, Roger A. ; Lembeck, Christoph ; Kuchen, Herbert

Software Testing Structural Testing Symbolic Virtual Machine Java
*Academic Journal*
*Add to favorites*
3

Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation.
Rehan, Shaheer ; Al-Bander, Baidaa ; Al-Said Ahmad, Amro
Electronics (2079-9292); Apr2025, Vol. 14 Issue 7, p1463, 25p

LANGUAGE models ARTIFICIAL intelligence SOFTWARE reliability AUTOMATION COMPUTER software testin... TEST methods
*Academic Journal*
*Add to favorites*
4

Software Test Case Generation Tools and Techniques: A Review.
Verma, Abhishek Singh ; Choudhary, Ankur ; Tiwari, Shailesh
International Journal of Mathematical, Engineering & Management Sciences; Apr2023, Vol. 8 Issue 2, p293-315, 23p

ASSOCIATION for Computin... COMPUTER software testin... COMPUTER software develo... PRODUCT quality SOFTWARE engineering SOFTWARE reliability
*Academic Journal*
*Add to favorites*
5

LLM4TDG: test-driven generation of large language models based on enhanced constraint reasoning.
Liu, Jingqiang ; Liang, Ruigang ; Zhu, Xiaoxi ; et al.
Cybersecurity (2523-3246); 5/15/2025, Vol. 8 Issue 1, p1-23, 23p

LANGUAGE models COMPUTER software testin... COMPUTER software reusab... EXPERIMENTAL design CONSTRAINT satisfaction CODE generators
*Academic Journal*
*Add to favorites*
6

IABC‐TCG: Improved artificial bee colony algorithm‐based test case generation for smart contracts.
Ji, Shunhui ; Gong, Jiahao ; Dong, Hai ; et al.
Journal of Software: Evolution & Process; Dec2024, Vol. 36 Issue 12, p1-24, 24p

BEES algorithm QUALITY assurance BEES CONTRACTS SOCIAL dominance
*Academic Journal*
*Add to favorites*
7

Test case generation for object-oriented imperative languages in CLP.
Gómez-Zamalloa, Miguel ; Albert, Elvira ; Puebla, Germán
Theory & Practice of Logic Programming; Jul2010, Vol. 10 Issue 4-6, p659-674, 16p

LOGIC programming CONSTRAINT programming PROGRAMMING languages DATA structures COMPUTER programming JAVA programming languag...
*Academic Journal*
*Add to favorites*
8

Mutation‐inspired symbolic execution for software testing.
Valle‐Gómez, Kevin J. ; García‐Domínguez, Antonio ; Delgado‐Pérez, Pedro ; et al.
IET Software (Wiley-Blackwell); Oct2022, Vol. 16 Issue 5, p478-492, 15p

COMPUTER software testin... COMPUTER software develo... DIFFERENTIAL evolution
*Academic Journal*
*Add to favorites*
9

Model-based test case generation and prioritization: a systematic literature review.
Mohd-Shafie, Muhammad Luqman ; Kadir, Wan Mohd Nasir Wan ; Lichter, Horst ; et al.
Software & Systems Modeling; Apr2022, Vol. 21 Issue 2, p717-753, 37p

COMPUTER software testin... LONGITUDINAL method TEST systems SCALABILITY EMPIRICAL research
*Academic Journal*
*Add to favorites*
10

History-driven test program synthesis for JVM testing.
Zhao, Yingquan ; Wang, Zan ; Chen, Junjie ; et al.
ICSE: International Conference on Software Engineering; 2022, p1133-1144, 12p

JAVA programming languag... ROBUST statistics SEMANTICS COMPILERS (Computer prog... COMPUTER software
*Conference*
*Add to favorites*
11

An Adaptive Search Budget Allocation Approach for Search-Based Test Case Generation.
SCALABRINO, SIMONE ; MASTROPAOLO, ANTONIO ; BAVOTA, GABRIELE ; et al.
ACM Transactions on Software Engineering & Methodology; May2021, Vol. 30 Issue 3, p1-26, 26p

DECISION making
*Academic Journal*
*Add to favorites*
12

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems.
Luckow, Kasper ; Păsăreanu, Corina ; Thomsen, Bent
EURASIP Journal on Embedded Systems; 9/29/2015, Vol. 2015 Issue 1, p1-16, 16p

REAL-time computing JAVA programming languag... COMPUTER software execut...
*Academic Journal*
*Add to favorites*
13

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Păsăreanu, Corina ; Visser, Willem ; Bushnell, David ; et al.
Automated Software Engineering; Sep2013, Vol. 20 Issue 3, p391-425, 35p

JAVA programming languag... ABSTRACT data types (Com... VERTICAL files (Librarie... DATA structures ELECTRONIC file manageme...
*Academic Journal*
*Add to favorites*
14

Using symbolic execution to guide test generation.
Lee, Gareth ; Morris, John ; Parker, Kris ; et al.
Software Testing: Verification & Reliability; Mar2005, Vol. 15 Issue 1, p41-61, 21p

COMPUTER software SOFTWARE validation SOFTWARE verification COMPUTER systems TECHNOLOGICAL innovation... RESEARCH
*Academic Journal*
*Add to favorites*
15

Model-based testing leveraged for automated web tests.
Mattiello, Guilherme Ricken ; Endo, André Takeshi
Software Quality Journal; Sep2022, Vol. 30 Issue 3, p621-649, 29p

GRAPHICAL user interface... WEB-based user interface... TEST design WORKFLOW COMPUTER software testin...
*Academic Journal*
*Add to favorites*
16

Feedback-Directed Metamorphic Testing.
CHANG-AI SUN ; HEPENG DAI ; HUAI LIU ; et al.
ACM Transactions on Software Engineering & Methodology; Jan2023, Vol. 32 Issue 1, p1-34, 34p

COMPUTER software testin... ADAPTIVE testing COST effectiveness
*Academic Journal*
*Add to favorites*
17

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations.
ISLAM, MAINUL ; CSALLNER, CHRISTOPH
ACM Transactions on Software Engineering & Methodology; May2014, Vol. 23 Issue 3, p21:1-21:38, 38p

OPEN source software COMPUTER interfaces DIALOG (Information retr... ENCODING ELECTRONIC file manageme... DEBUGGING
*Academic Journal*
*Add to favorites*
18

JVM Fuzzing for JIT-Induced Side-Channel Detection.
Brennan, Tegan ; Saha, Seemanta ; Bultan, Tevfik
ICSE: International Conference on Software Engineering; 6/17/2020, p1011-1023, 13p

SOFTWARE engineering JUST-in-time systems VIRTUAL machine systems COMPUTER vision ARTIFICIAL intelligence
*Conference*
*Add to favorites*
19

Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system.
Yu, Zhongxing ; Martinez, Matias ; Danglot, Benjamin ; et al.
Empirical Software Engineering; Feb2019, Vol. 24 Issue 1, p33-67, 35p

*Academic Journal*
*Add to favorites*
20

Preservation of Proof Obligations from Java to the Java Virtual Machine.
Barthe, Gilles ; Grégoire, Benjamin ; Pavlova, Mariela
Automated Reasoning (9783540710691); 2008, p83-99, 17p

*Book*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*