Search results for: Inmaculada Medina-Bulo
Software Testing, Verification and Reliability > 31 > 5 > n/a - n/a
Computer Applications in Engineering Education > 28 > 6 > 1449 - 1466
Journal of Heuristics > 2019 > 25 > 6 > 861-899
Software: Practice and Experience > 49 > 4 > 640 - 672
Software Quality Journal > 2019 > 27 > 2 > 823-859
Software Testing, Verification and Reliability > 27 > 4-5 > n/a - n/a
Information and Software Technology > 2017 > 81 > C > 169-184
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 229-240
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 297-312
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 1 > 395-409
Lecture Notes in Computer Science > Web Engineering > Posters > 469-472
Expert Systems with Applications > 2015 > 42 > 21 > 8095-8110
Knowledge-Based Systems > 2015 > 89 > Complete > 97-112