Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation

18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07) ◽

10.1109/rsp.2007.39 ◽

2007 ◽

Cited By ~ 6

Author(s):

Doron Drusinsky ◽

Man-Tak Shing

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Distributed Protocols ◽

Run Time

Download Full-text

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 ◽

Automatic Test Generation ◽

Automatic Test

Download Full-text

Automatic Test Generation for Model-Based Code Generators

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

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 Generation ◽

Automatic Test ◽

Model Based ◽

Code Generators

Download Full-text

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 ◽

Automatic Test

Download Full-text

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 ◽

Automatic Test Generation ◽

Automatic Test

Download Full-text

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 Generation ◽

Automatic Test ◽

Fan Algorithm

Download Full-text

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 Generation ◽

Automatic Test ◽

Uml Models

Download Full-text

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 Generation ◽

Automatic Test ◽

Database Applications

Download Full-text

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 Generation ◽

Automatic Test ◽

Open Faults ◽

Cmos Vlsi

Download Full-text

Iterative automatic test generation method for telecommunication protocols

Computer Standards & Interfaces ◽

10.1016/j.csi.2005.04.002 ◽

2006 ◽

Vol 28 (4) ◽

pp. 412-427

Author(s):

G. Kovács ◽

Z. Pap ◽

G. Csopaki ◽

K. Tarnay

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Telecommunication Protocols

Download Full-text

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73770-4_7 ◽

2007 ◽

pp. 114-130 ◽

Cited By ~ 6

Author(s):

Lisa (Ling) Liu ◽

Bertrand Meyer ◽

Bernd Schoeller

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Boolean Queries

Download Full-text