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
A model-based development approach for the verification of real-time Java code
Pour, Niusha Hakimi, Strooper, Paul, Wellings, Andy
Published in Concurrency and computation (10.09.2011)
Published in Concurrency and computation (10.09.2011)
Get full text
Journal Article
An Automated Approach for the Interpretation of Counter-Examples
van den Berg, Lionel, Strooper, Paul, Johnston, Wendy
Published in Electronic notes in theoretical computer science (30.05.2007)
Published in Electronic notes in theoretical computer science (30.05.2007)
Get full text
Journal Article
Grammar-based test generation with YouGen
Hoffman, Daniel Malcolm, Ly-Gagnon, David, Strooper, Paul, Wang, Hong-Yi
Published in Software, practice & experience (10.04.2011)
Published in Software, practice & experience (10.04.2011)
Get full text
Journal Article
Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test
Dranidis, Dimitris, Masticola, Stephen P., Strooper, Paul
Published in 2009 31st International Conference on Software Engineering - Companion Volume (24.05.2009)
Published in 2009 31st International Conference on Software Engineering - Companion Volume (24.05.2009)
Get full text
Conference Proceeding
Journal Article
Two case studies in grammar-based test generation
Hoffman, Daniel, Wang, Hong-Yi, Chang, Mitch, Ly-Gagnon, David, Sobotkiewicz, Lewis, Strooper, Paul
Published in The Journal of systems and software (01.12.2010)
Published in The Journal of systems and software (01.12.2010)
Get full text
Journal Article
Exploring an Approach to Model-Based Testing from Behavior Trees
Hakimipour, N., Strooper, P.
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Get full text
Conference Proceeding
Message from the Program Chair
Published in 2005 Australian Software Engineering Conference
(2005)
Get full text
Conference Proceeding
A model-driven approach to developing and testing web applications
Strooper, Paul
Published in Proceedings of International Conference on Information, Communication Technology and System (ICTS) 2014 (01.09.2014)
Published in Proceedings of International Conference on Information, Communication Technology and System (ICTS) 2014 (01.09.2014)
Get full text
Conference Proceeding
Tool support for testing concurrent Java components
Long, B., Hoffman, D., Strooper, P.
Published in IEEE transactions on software engineering (01.06.2003)
Published in IEEE transactions on software engineering (01.06.2003)
Get full text
Journal Article
An Industry-Based Evaluation of Process Modeling Techniques
Cahill, Brent, Carrington, David, Song, Brian, Strooper, Paul
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking
Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul, Robinson, Peter
Published in FM 2006: Formal Methods (2006)
Published in FM 2006: Formal Methods (2006)
Get full text
Book Chapter
Conference Proceeding
Integrating Model-Based Testing in Model-Driven Web Engineering
Escott, E., Strooper, P., Steel, J., King, P.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
Calculating modules in contextual logic program refinement
COLVIN, ROBERT, HAYES, IAN J., STROOPER, PAUL
Published in Theory and practice of logic programming (01.01.2008)
Published in Theory and practice of logic programming (01.01.2008)
Get full text
Journal Article
Architecture-Centric Model-Driven Web Engineering
Escott, E., Strooper, P., Suß, J. G., King, P.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding