Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
142
views
0
downloads
Cite This
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 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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.