Quick Bug Detection through Black-Box Checking : A Systematic Evaluation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Quick Bug Detection through Black-Box Checking : A Systematic Evaluation
Συγγραφείς: Pellen, Bram, Rodríguez, María Belén, Vaandrager, Frits, van den Bos, Petra
Πηγή: Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :209-221
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3832783.3834347
Βάση Δεδομένων: ACM Full-Text Collection