Paul A. Strooper

Softw. Test. Verification Reliab., 2012

Exploring an Approach to Model-Based Testing from Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012

2011

Grammar-based test generation with YouGen.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

A model-based development approach for the verification of real-time Java code.

[BibT_eX]

[DOI]

Andy J. Wellings

Concurr. Comput. Pract. Exp., 2011

Model-Driven Web Form Validation with UML and OCL.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2011

Integrating Model-Based Testing in Model-Driven Web Engineering.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

Architecture-Centric Model-Driven Web Engineering.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Two case studies in grammar-based test generation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

TART: Timed-Automata to Real-Time Java Tool.

[BibT_eX]

[DOI]

Andy J. Wellings

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Model-based testing of multiple GUI variants using the GUI test generator.

[BibT_eX]

[DOI]

Duc-Hoai Nguyen

Jörn Guy Süß

Proceedings of the 5th Workshop on Automation of Software Test, 2010

Automated functionality testing through GUIs.

[BibT_eX]

[DOI]

Duc-Hoai Nguyen

Jörn Guy Süß

Proceedings of the Computer Science 2010, 2010

2009

Challenges in practice: 4th international workshop on the automation of software test report.

[BibT_eX]

[DOI]

Dimitris Dranidis

Stephen P. Masticola

ACM SIGSOFT Softw. Eng. Notes, 2009

Expanding, theory, and practice: Report on the 4<sup>th</sup> International Workshop on the Automation of Software Test.

[BibT_eX]

[DOI]

Dimitris Dranidis

Stephen P. Masticola

Proceedings of the 31st International Conference on Software Engineering, 2009

Selecting Usability Evaluation Methods for Software Process Descriptions.

[BibT_eX]

[DOI]

Mohd Naz'ri Mahrin

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Calculating modules in contextual logic program refinement.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

Investigating Factors Affecting the Usability of Software Process Descriptions.

[BibT_eX]

[DOI]

Mohd Naz'ri Mahrin

Proceedings of the Making Globally Distributed Software Development a Success Story, 2008

Model-Based Generation of Interlocking Controller Software from Control Tables.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

Exploring Model-Based Development for the Verification of Real-Time Java Code.

[BibT_eX]

[DOI]

Roger Duke

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

A Framework for Statistical Testing of Software Components.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2007

Maximising the information gained from a study of static analysis technologies for concurrent software.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2007

A method for verifying concurrent Java components based on an analysis of concurrency failures.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2007

An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Quality, 2007

Automated Generation of Test Cases Using Model-Driven Architecture.

[BibT_eX]

[DOI]

Abu Zafer Javed

Geoffrey Watson

Proceedings of the Second International Workshop on Automation of Software Test, 2007

Selecting V&V Technology Combinations: How to Pick a Winner?

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Introducing Time in an Industrial Application of Model-Checking.

[BibT_eX]

[DOI]

Lionel van den Berg

Kirsten Winter

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

Improving Usability of Software Refactoring Tools.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

An Automated Approach for the Interpretation of Counter-Examples.

[BibT_eX]

[DOI]

Lionel van den Berg

Wendy Johnston

Proceedings of the Workshop on Verification and Debugging, 2006

A state-of-practice questionnaire on verification and validation for concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

Testing concurrent java components.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

An Industry-Based Evaluation of Process Modeling Techniques.

[BibT_eX]

[DOI]

Proceedings of the Software Process Improvement, 13th European Conference, 2006

Evaluating software refactoring tool support.

[BibT_eX]

[DOI]

Erica Mealy

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Tool support for executable documentation of Java class hierarchies.

[BibT_eX]

[DOI]

Sarah Wilkin

Softw. Test. Verification Reliab., 2005

An industry/university collaboration to upgrade software engineering knowledge and skills in industry.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Plug-in Proof Support for Formal Development Environments.

[BibT_eX]

[DOI]

David Hemer

Gregory Long

Proceedings of the Theory of Computing 2005, 2005

Dealing with Non-Determinism in Testing Concurrent Java Components.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Tool Support for Statistical Testing of Software Components.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

A Passive Test Oracle Using a Component's API.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Agent-Based Distributed Software Verification.

[BibT_eX]

[DOI]

Chris Hunter

Peter J. Robinson

Proceedings of the Computer Science 2005, 2005

2004

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Integrating Formal Specification and Software Verification and Validation.

[BibT_eX]

[DOI]

Roger Duke

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Developing Logic Programs from Specifications Using Stepwise Refinement.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Viewpoint-Based Testing of Concurrent Components.

[BibT_eX]

[DOI]

Roger Duke

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

A Framework for Reliability Assessment of Software Components.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

Testing Java Interrupts and Timed Waits.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Systematic Operational Profile Development for Software Components.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

A Case Study in Specification and Implementation Testing.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Flexible Proof Reuse for Software Verification.

[BibT_eX]

[DOI]

Chris Hunter

Peter J. Robinson

Proceedings of the Algebraic Methodology and Software Technology, 2004

An Approach to Specifying Software Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2004, 2004

2003

Tool Support for Testing Concurrent Java Components.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

A framework and tool support for the systematic testing of model-based specifications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

API documentation with executable examples.

[BibT_eX]

[DOI]

J. Syst. Softw., 2003

Supporting the Software Testing Process through Specification Animation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

A Classification of Concurrency Failures in Java Components.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Teaching Software Engineering Fundamentals to Practicing Engineers.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

Testing iptables.

[BibT_eX]

[DOI]

Durga Prabhakar

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2003, 2003

2002

A refinement calculus for logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

A framework for table driven testing of Java classes.

[BibT_eX]

[DOI]

Nigel Daley

Softw. Pract. Exp., 2002

Don't Care Non-determinism in Logic Program Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

Refinement of Higher-Order Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

A Tool for Subsystem Configuration Management.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Model-Based Specification Animation Using Testgraphs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.

[BibT_eX]

[DOI]

Alena Griffiths

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Translating Refined Logic Programs to Mercury.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2002, 2002

2001

Refinement and state machine abstraction.

[BibT_eX]

[DOI]

Karl Lermer

Theor. Comput. Sci., 2001

Refinement Calculus for Logic Programming in Isabelle/HOL.

[BibT_eX]

[DOI]

David Hemer

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

A Concurrency Test Tool for Java Monitors.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Module Testing Embedded Software--An Industrial Pilot Project.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

A Case Study in Testing Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Animation Can Show Only the Presence of Errors, Never Their Absence.

[BibT_eX]

[DOI]

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

A Framework for Subsystem-Based Configuration Management .

[BibT_eX]

[DOI]

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Testing Java Monitors through Deterministic Execution.

[BibT_eX]

[DOI]

Craig Harvey

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Combining the Animation and Testing of Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

Systematically Deriving Partial Oracles for Testing Concurrent Programs.

[BibT_eX]

[DOI]

Chris Hunter

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000

From Object-Z Specifications to ClassBench Test Suites.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Prose + Test Cases = Specifications.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

A Technique for Modular Logic Program Refinement.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Modular Logic Program Refinement.

[BibT_eX]

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

A Single Complete Refinement Rule for Demonic Specifications.

[BibT_eX]

[DOI]

Karl Lermer

Proceedings of the Theoretical Computer Science, 2000

Tools and Techniques for Java API Testing.

[BibT_eX]

[DOI]

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

Refining Logic Programs Using Types.

[BibT_eX]

[DOI]

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

Boundary Values and Automated Component Testing.

[BibT_eX]

[DOI]

Lee J. White

Softw. Test. Verification Reliab., 1999

TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Formal Derivation of Finite State Machines for Class Testing.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Testing Inheritance Hierarchies in the ClassBench Framework.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Testing Generic Ada Packages with APE.

[BibT_eX]

[DOI]

Jayakrishnan Nair

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Programmatic Testing of the Standard Template Library Containers.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Requirements Engineering and Verification using Specification Animation.

[BibT_eX]

[DOI]

Daniel Hazel

Owen Traynor

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Translating Object-Z Specifications to Passive Test Oracles.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Specification-Based Class Testing: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Specification-Based Class Testing with ClassBench.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

ClassBench: A Framework for Automated Class Testing.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1997

Object-Oriented Testing.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Extending Test Templates with Inheritance.

[BibT_eX]

[DOI]

Proceedings of the 1997 Australian Software Engineering Conference (ASWEC '97), 28 September, 1997

Translating Object-Z Specifications to Object-Oriented Test Oracles.

[BibT_eX]

[DOI]

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

Possum: An Animator for the SUM Specification Language.

[BibT_eX]

[DOI]

Daniel Hazel

Owen Traynor

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

Refining Specifications to Logic Programs.

[BibT_eX]

[DOI]

R. G. Nickson

Proceedings of the Logic Programming Synthesis and Transformation, 1996

Teaching and Testing.

[BibT_eX]

[DOI]

Peter Walsh

Proceedings of the Ninth Conference on Software Engineering Education, 1996

Setting up a tutor training programme in computer science.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995

The Testgraph Methodology: Automated Testing of Collection Classes.

[BibT_eX]

J. Object Oriented Program., 1995

State Abstraction and Modular Software Development.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Software design, automated testing, and maintenance - a practical approach.

[BibT_eX]

International Thomson, ISBN: 978-1-85032-206-1, 1995

1994

Graph-based Class Testing.

[BibT_eX]

Aust. Comput. J., 1994

Automated class testing: methods and experience.

[BibT_eX]

[DOI]

Jonathan Smillie

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993

Describing Symmetrical Structures in Logic.

[BibT_eX]

[DOI]

Maarten H. van Emden

Ann. Math. Artif. Intell., 1993

A case study in class testing.

[BibT_eX]

[DOI]

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1991

Automated Module Testing in Prolog.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Prolog Testing of C Modules.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

From specification to implementation in logic.

[BibT_eX]

[DOI]

PhD thesis, 1990

1989

Discovering Inequality Conditions in the Analytic Solution of Optimization Problems.

[BibT_eX]

[DOI]

Bruce W. Char

Alan R. Macnaughton

J. Autom. Reason., 1989

1988

Complete Sets of Frontiers in Logic-Based Program Transformation.

[BibT_eX]

Mantis H. M. Cheng

Maarten H. van Emden

Proceedings of the Meta-Programming in Logic Programming, 1988

Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract).

[BibT_eX]

[DOI]

Bruce W. Char

Alan R. Macnaughton