Search results
Neurocomputing > 2014 > 146 > Complete > 230-248
Journal of Logical and Algebraic Methods in Programming > 2018 > 100 > C > 152-184
Computer Standards & Interfaces > 2018 > 55 > C > 156-170
Journal of Systems and Software > 2017 > 123 > C > 106-118
Science of Computer Programming > 2016 > 132 > P2 > 143-172
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1131-1153
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 3 > 325-339
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Test Generation > 184-199