Generating source inputs for metamorphic testing using dynamic symbolic execution

Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16 ◽

10.1145/2896971.2896980 ◽

2016 ◽

Cited By ~ 1

Author(s):

Eman Alatawi ◽

Tim Miller ◽

Harald Søndergaard

Keyword(s):

Symbolic Execution ◽

Metamorphic Testing ◽

Dynamic Symbolic Execution

Download Full-text

Using Metamorphic Testing to Improve Dynamic Symbolic Execution

2015 24th Australasian Software Engineering Conference ◽

10.1109/aswec.2015.16 ◽

2015 ◽

Cited By ~ 2

Author(s):

Eman Alatawi ◽

Tim Miller ◽

Harald Sondergaard

Keyword(s):

Symbolic Execution ◽

Metamorphic Testing ◽

Dynamic 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

Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric

2018 IEEE International Conference on Software Maintenance and Evolution (ICSME) ◽

10.1109/icsme.2018.00015 ◽

2018 ◽

Cited By ~ 2

Author(s):

Ziming Zhu ◽

Li Jiao ◽

Xiong Xu

Keyword(s):

Symbolic Execution ◽

Dynamic Symbolic Execution

Download Full-text

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31157-5_3 ◽

2019 ◽

pp. 41-54

Author(s):

Timotej Kapus ◽

Martin Nowack ◽

Cristian Cadar

Keyword(s):

Symbolic Execution ◽

Dynamic Symbolic Execution

Download Full-text

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

IEEE Transactions on Software Engineering ◽

10.1109/tse.2021.3101870 ◽

2021 ◽

pp. 1-1

Author(s):

Sooyoung Cha ◽

Seongjoon Hong ◽

Jiseong Bak ◽

Jingyoung Kim ◽

Junhee Lee ◽

...

Keyword(s):

Symbolic Execution ◽

Search Heuristics ◽

Dynamic Symbolic Execution

Download Full-text

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-68446-4_10 ◽

2021 ◽

pp. 192-209

Author(s):

Roberto Amadini ◽

Graeme Gange ◽

Peter Schachte ◽

Harald Søndergaard ◽

Peter J. Stuckey

Keyword(s):

Symbolic Execution ◽

Algorithm Selection ◽

Dynamic Symbolic Execution ◽

Preliminary Study ◽

Selection For

Download Full-text

SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

2019 Ivannikov Ispras Open Conference (ISPRAS) ◽

10.1109/ispras47671.2019.00008 ◽

2019 ◽

Author(s):

Nikita Malyshev ◽

Irina Dudina ◽

Daniil Kutz ◽

Alexander Novikov ◽

Sergey Vartanov

Keyword(s):

Symbolic Execution ◽

Smt Solvers ◽

Dynamic Symbolic Execution

Download Full-text

The Method of Software Behavior Detection Based-On Dynamic Symbolic Execution

International Conference on Computer Technology and Development, 3rd (ICCTD 2011) ◽

10.1115/1.859919.paper101 ◽

2011 ◽

pp. 605-610

Keyword(s):

Symbolic Execution ◽

Behavior Detection ◽

Dynamic Symbolic Execution

Download Full-text

Method sequence generation for multiple object states using dynamic symbolic execution

2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ◽

10.1109/smc.2014.6974494 ◽

2014 ◽

Author(s):

Hiroki Takamatsu ◽

Haruhiko Sato ◽

Satoshi Oyama ◽

Masahito Kurihara

Keyword(s):

Symbolic Execution ◽

Sequence Generation ◽

Multiple Object ◽

Dynamic Symbolic Execution

Download Full-text

Generating Test Suites with Augmented Dynamic Symbolic Execution

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38916-0_9 ◽

2013 ◽

pp. 152-167 ◽

Cited By ~ 12

Author(s):

Konrad Jamrozik ◽

Gordon Fraser ◽

Nikolai Tillman ◽

Jonathan de Halleux

Keyword(s):

Symbolic Execution ◽

Dynamic Symbolic Execution ◽

Test Suites

Download Full-text