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
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
42
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 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
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.