Volume 19; Issue 1

Automated Software Engineering

Volume 19; Issue 1
1

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini
Journal:
Automated Software Engineering
Year:
2012
Language:
english
File:
PDF, 1.59 MB
english, 2012
2

Prioritizing test cases with string distances

Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
Journal:
Automated Software Engineering
Year:
2012
Language:
english
File:
PDF, 1.10 MB
english, 2012
4

Editorial: ASE 2011 conference trip report

Robert J. Hall
Journal:
Automated Software Engineering
Year:
2012
Language:
english
File:
PDF, 145 KB
english, 2012