Symbolic Execution-Based Techniques for Conformance Testing

Model-Driven Engineering for Distributed Real-Time Systems ◽

10.1002/9781118558096.ch4 ◽

2013 ◽

pp. 73-103

Author(s):

Christophe Gaston ◽

Pascale Le Gall ◽

Nicolas Rapin ◽

Assia Touil

Keyword(s):

Symbolic Execution ◽

Conformance Testing

Download Full-text

Enhancing Conformance Testing Using Symbolic Execution for Network Protocols

IEEE Transactions on Reliability ◽

10.1109/tr.2015.2443392 ◽

2015 ◽

Vol 64 (3) ◽

pp. 1024-1037 ◽

Author(s):

JaeSeung Song ◽

Hyoungshick Kim ◽

Soojin Park

Keyword(s):

Symbolic Execution ◽

Network Protocols ◽

Conformance Testing

Download Full-text

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

2010 Third International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2010.48 ◽

2010 ◽

Author(s):

Elisabeth Jöbstl ◽

Martin Weiglhofer ◽

Bernhard K. Aichernig ◽

Franz Wotawa

Keyword(s):

Symbolic Execution ◽

Conformance Testing ◽

Download Full-text

A BRIEF SURVEY ON SYMBOLIC EXECUTION TEST-SELECTION TECHNIQUES

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6si8.8185 ◽

2018 ◽

Vol 06 (08) ◽

pp. 81-85

Author(s):

K.K. Nivethithaa ◽

V. Krishnapriya

Keyword(s):

Symbolic Execution ◽

Download Full-text

Directed dynamic symbolic execution of programs to confirm errors in programs

Программирование ◽

10.31857/s013234740001213-9 ◽

2018 ◽

pp. 31-42

Author(s):

A. Gerasimov ◽

Keyword(s):

Symbolic Execution ◽

Dynamic Symbolic Execution

Download Full-text

Information technology. Telecommunications and information exchange between systems. X.25-DTE conformance testing

10.3403/00281065 ◽

1992 ◽

Keyword(s):

Information Technology ◽

Information Exchange ◽

Conformance Testing

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020 ◽

1991 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776117u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776144u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30130611 ◽

2007 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text