Test Data Generation by Dynamic Symbolic Execution: A Systematic Literature Review

Date

2019-09-25

Author

Balcı, Halil İbrahim
Betin Can, Aysu
Tarhan, Ayça

Metadata

Show full item record

Item Usage Stats

42
views

0
downloads

URI

https://hdl.handle.net/11511/82042

Collections

Unverified, Conference / Seminar

Suggestions

OpenMETU
Core

Test squence generation for a finite state machine using characterization sets Gücün , Onur Mehmet; İnan, Kemal; Department of Electrical and Electronics Engineering (1995)
Testing effectiveness and effort in software product lines Çöteli, Mert Burkay; Bilgen, Semih; Department of Electrical and Electronics Engineering (2013) Software product lines (SPL) aim to decrease the total software development cost by the help of reusability and variability. However, the increasing number of variations for the delivery types of products would result in increasing cost of the verification and validation process. Total testing cost of development can also be decreased by reusing test cases and scripts. The main objective of this study is to increase testing effectiveness while minimizing testing effort. Four different cases consisting of As...
Testing unit root and comparison of estimates Purutçuoğlu Gazi, Vilda (2009-06-01)
Testing Practices and Attitudes Toward Tests and Testing: An International Survey Evers, Arne; et. al. (2017-01-01) On behalf of the International Test Commission and the European Federation of Psychologists' Associations a world-wide survey on the opinions of professional psychologists on testing practices was carried out. The main objective of this study was to collect data for a better understanding of the state of psychological testing worldwide. These data could guide the actions and measures taken by ITC, EFPA, and other stakeholders. A questionnaire was administered to 20,467 professional psychologists from 29 cou...
Testing distributed real-time systems with a distributed test approach Öztaş, Gökhan; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2008) Software testing is an important phase the of software development cycle which reveals faults and ensures correctness of the developed software. Distributed real-time systems are mostly safety critical systems for which the correctness and quality of the software is much more significant. However, majority of the current testing techniques have been developed for sequential (non real-time) software and there is a limited amount of research on testing distributed real-time systems. In this thesis, a proposed...

Citation Formats

H. İ. Balcı, A. Betin Can, and A. Tarhan, “Test Data Generation by Dynamic Symbolic Execution: A Systematic Literature Review,” 2019, Accessed: 00, 2021. [Online]. Available: https://hdl.handle.net/11511/82042.