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

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


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 Encoding and Retrieval Dynamics of Pairs Using Probed Recall Task
Hato, Tuğba; Kılıç Özhan, Aslı; Department of Psychology (2022-9)
In free recall, subjects tend to successively recall words studied in nearby positions, denoted as the contiguity effect, favoring the following word over the preceding one. Whereas in paired associates, recall probabilities of forward and backward recalls are approximately equal. The associative symmetry hypothesis (ASH) suggests holistic encoding of pairs, whereas the independent association hypothesis (IAH) separate the encoding of forward and backward. Two main classes of memory models aim to explain th...
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...
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.