Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

Using Static Analysis to Improve Automatic Test Generation

10.1007/3-540-46419-0_17 ◽

2000 ◽

pp. 235-250 ◽

Cited By ~ 10

Author(s):

Marius Bozga ◽

Jean-Claude Fernandez ◽

Lucian Ghirvu

Keyword(s):

Static Analysis ◽

Test Generation ◽

Using static analysis to improve automatic test generation

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-002-0098-x ◽

2003 ◽

Vol 4 (2) ◽

pp. 142-152 ◽

Cited By ~ 8

Author(s):

Marius Bozga ◽

Jean-Claude Fernandez ◽

Lucian Ghirvu

Keyword(s):

Static Analysis ◽

Test Generation ◽

qATG: Automatic Test Generation for Quantum Circuits

2020 IEEE International Test Conference (ITC) ◽

10.1109/itc44778.2020.9325228 ◽

2020 ◽

Author(s):

Chen-Hung Wu ◽

Cheng-Yun Hsieh ◽

Jiun-Yun Li ◽

James Chien-Mo Li

Keyword(s):

Test Generation ◽

Quantum Circuits ◽

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

Automatic Test Generation for Model-Based Code Generators

10.1109/isola.2006.70 ◽

2006 ◽

Cited By ~ 7

Author(s):

Sergey V. Zelenov ◽

Denis V. Silakov ◽

Alexander K. Petrenko ◽

Mirko Conrad ◽

Ines Fey

Keyword(s):

Test Generation ◽

Automatic Test ◽

Model Based ◽

Code Generators

A review of analog automatic test generation

10.1109/autest.1978.764226 ◽

2005 ◽

Cited By ~ 4

Author(s):

H.H. Schreiber

Keyword(s):

Test Generation ◽

Automatic Test Generation for Digital Electronic Circuits

AT&T Technical Journal ◽

10.1002/j.1538-7305.1994.tb00575.x ◽

1994 ◽

Vol 73 (2) ◽

pp. 19-29 ◽

Cited By ~ 1

Author(s):

Tapan J. Chakraborty ◽

Scott Davidson ◽

Fadi Maamari ◽

Kwang-Ting Cheng

Keyword(s):

Test Generation ◽

Electronic Circuits ◽

An Automatic Test Generation Method for Crosstalk Delay Faults Using Modified FAN Algorithm

Test Generation of Crosstalk Delay Faults in VLSI Circuits ◽

10.1007/978-981-13-2493-2_4 ◽

2018 ◽

pp. 57-77

Author(s):

S. Jayanthy ◽

M. C. Bhuvaneswari

Keyword(s):

Test Generation ◽

Delay Faults ◽

Automatic Test ◽

Fan Algorithm

Validation and automatic test generation on UML models

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80402-x ◽

2002 ◽

Vol 66 (2) ◽

pp. 33-49 ◽

Cited By ~ 8

Author(s):

David Lugato ◽

Céline Bigot ◽

Yannick Valot

Keyword(s):

Test Generation ◽

Automatic Test ◽

Uml Models

Automatic test generation for mutation testing on database applications

2013 8th International Workshop on Automation of Software Test (AST) ◽

10.1109/iwast.2013.6595801 ◽

2013 ◽

Cited By ~ 10

Author(s):

Kai Pan ◽

Xintao Wu ◽

Tao Xie

Keyword(s):

Test Generation ◽

Mutation Testing ◽

Automatic Test ◽

Database Applications

Automatic Test Generation for Stuck-Open Faults in CMOS VLSI

10.1109/dac.1981.1585380 ◽

1981 ◽

Cited By ~ 56

Author(s):

Y.M. Elzig

Keyword(s):

Test Generation ◽

Automatic Test ◽

Open Faults ◽

Cmos Vlsi