Automatic Generation of Minimal Cut Sets
Kromodimoeljo, Sentot, Lindsay, Peter A.
Published in Electronic proceedings in theoretical computer science (10.06.2015)
Published in Electronic proceedings in theoretical computer science (10.06.2015)
Get full text
Journal Article
Automation of Test Case Generation from Behavior Tree Requirements Models
Lindsay, Peter A., Kromodimoeljo, Sentot, Strooper, Paul A., Almorsy, Mohamed
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Get full text
Conference Proceeding
Journal Article
m-EVES: A tool for verifying software
Craigen, D., Kromodimoeljo, S., Meisels, I., Neilson, A., Pase, B., Saaltink, M.
Published in Proceedings of the 10th international conference on Software engineering (01.04.1988)
Published in Proceedings of the 10th international conference on Software engineering (01.04.1988)
Get full text
Conference Proceeding