-
1دورية أكاديمية
المؤلفون: David M. Bryson, Aaron P. Wagner, Charles Ofria
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Algorithms, Design, Reliability. *These authors contributed equally to this work. Keywords Genetic architecture. Robustn
وصف الملف: application/pdf
-
2دورية أكاديمية
المؤلفون: Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, D.2.7 [Software Engineering, Software Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, string constraints, word equations, regular languages, contextfree languages, concolic testing, program analysis † These authors contributed equally to this work
وصف الملف: application/pdf