Hong Zhu

J. Syst. Softw., 2022

How does government microblog affect tourism market value? The perspective of signaling theory.

[BibT_eX]

[DOI]

Fang Wang

Inf. Process. Manag., 2022

Metrics for Measuring Error Extents of Machine Learning Classifiers.

[BibT_eX]

[DOI]

Mark Green

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2020

Pattern-Based Approach to Modelling and Verifying System Security.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Continuous Debugging of Microservices.

[BibT_eX]

[DOI]

Hongbo Wang

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Exploratory Datamorphic Testing of Classification Applications.

[BibT_eX]

[DOI]

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Automation of Datamorphic Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Morphy: A Datamorphic Software Test Automation Tool.

[BibT_eX]

[DOI]

CoRR, 2019

Datamorphic Testing: A Methodology for Testing AI Applications.

[BibT_eX]

[DOI]

CoRR, 2019

Datamorphic Testing: A Method for Testing Intelligent Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Special issue on automation of software testing: improving practical applicability.

[BibT_eX]

[DOI]

Softw. Qual. J., 2018

If Docker is the Answer, What is the Question?

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech).

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Message from SETA 2018 Symposium Chairs.

[BibT_eX]

[DOI]

W. K. Chan

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Formal Analysis of Load Balancing in Microservices with Scenario Calculus.

[BibT_eX]

[DOI]

Hongbo Wang

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

Guest Editorial: Advances in Web Services Research.

[BibT_eX]

[DOI]

John A. Miller

Jia Zhang

IEEE Trans. Serv. Comput., 2017

The central role of test automation in software quality assurance.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

AST 2017 Workshop Summary.

[BibT_eX]

[DOI]

Junhua Ding

Patrícia D. L. Machado

Marc Roper

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

On the Composibility of Design Patterns: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Message from SETA 2017 Symposium Chairs.

[BibT_eX]

[DOI]

Ricky Chan

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

CAOPLE: A Programming Language for Microservices SaaS.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Monic Testing of Web Services Based on Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Trends and Directions in Cloud Service Selection.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

A Multi-key Transactions Model for NoSQL Cloud Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

CIDE: An Integrated Development Environment for Microservices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

On the Composability of Design Patterns.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods.

[BibT_eX]

[DOI]

Proceedings of the 2015 Second International Conference on Trustworthy Systems and Their Applications, 2015

Automated Testing of Web Services Based on Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Modeling and Simulating Adaptive Multi-agent Systems with CAMLE.

[BibT_eX]

[DOI]

Chenglie Du

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications.

[BibT_eX]

[DOI]

Basel Yousef

Muhammad Younas

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

Big SaaS: The Next Step beyond Big Data.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Toward a mature industrial practice of software test automation.

[BibT_eX]

[DOI]

Softw. Qual. J., 2014

Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS.

[BibT_eX]

[DOI]

Basel Yousef

Muhammad Younas

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

SOFIA: An Algebraic Specification Language for Developing Services.

[BibT_eX]

[DOI]

Dongmei Liu

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web Services, 2014

Hasard.

[BibT_eX]

[DOI]

Qian Zhang

Proceedings of the Relating System Quality and Software Architecture, 2014

Towards a General Theory of Patterns.

[BibT_eX]

[DOI]

Proceedings of the Cyberpatterns, 2014

Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace.

[BibT_eX]

[DOI]

Proceedings of the Cyberpatterns, 2014

Future Directions for Research on Cyberpatterns.

[BibT_eX]

[DOI]

Clive Blackwell

Proceedings of the Cyberpatterns, 2014

2013

An algebra of design patterns.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Special section on automation of software test.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Self-Adaptive Power Management of Idle Nodes in Large Scale Systems.

[BibT_eX]

[DOI]

Int. J. Next Gener. Comput., 2013

A Case Study on Algebraic Specification of Cloud Computing.

[BibT_eX]

[DOI]

Dongmei Liu

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

From Algebraic Specification to Ontological Description of Service Semantics.

[BibT_eX]

[DOI]

Dongmei Liu

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Foreword.

[BibT_eX]

[DOI]

Henry Muccini

Zhenyu Chen

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

8th international workshop on automation of software test (AST 2013).

[BibT_eX]

[DOI]

Henry Muccini

Zhenyu Chen

Proceedings of the 35th International Conference on Software Engineering, 2013

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions.

[BibT_eX]

[DOI]

Liang Xiao

John Fox

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

2012

Collaborative Testing of Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2012

Editorial of the Special Issue on Software Modelling and Meta-Modelling.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

An institution theory of formal meta-modelling in graphically extended BNF.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2012

A Power Provision and Capping Architecture for Large Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Position statement: Can software design benefit from creative computing?

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Position statement: Can testing prove software has no bug?

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

CATest: A Test Automation Framework for Multi-agent Systems.

[BibT_eX]

[DOI]

Shufeng Wang

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

2011

Guest editors' introduction to the special section on exploring the boundaries of software test automation.

[BibT_eX]

[DOI]

Christof J. Budnik

W. K. Chan

Gregory M. Kapfhammer

Softw. Qual. J., 2011

Automation of software test (AST '09) [Editorial].

[BibT_eX]

[DOI]

Dimitris Dranidis

Stephen P. Masticola

IET Softw., 2011

Unifying domain ontology with agent-oriented modeling of services.

[BibT_eX]

[DOI]

Zhi Jin

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

An Intelligent Broker Approach to Semantics-Based Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

A survey of the research on power management techniques for high-performance systems.

[BibT_eX]

[DOI]

Yongpeng Liu

Softw. Pract. Exp., 2010

On the convergence of autonomous agent communities.

[BibT_eX]

[DOI]

Fang Wang

Shufeng Wang

Multiagent Grid Syst., 2010

Formal specification of the variants and behavioural features of design patterns.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Algebraic Specification of Web Services.

[BibT_eX]

[DOI]

Bo Yu

Proceedings of the 10th International Conference on Quality Software, 2010

An Experiment with Algebraic Specifications of Software Components.

[BibT_eX]

[DOI]

Bo Yu

Proceedings of the 10th International Conference on Quality Software, 2010

Laws of Pattern Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008).

[BibT_eX]

[DOI]

Fevzi Belli

Inf. Softw. Technol., 2009

Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008).

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Guest Editorial to the Special Issue on Automation of Software Testing.

[BibT_eX]

[DOI]

Comput. J., 2009

Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool.

[BibT_eX]

[DOI]

Comput. J., 2009

Semantics of Metamodels in UML.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.

[BibT_eX]

Iñaki Martínez-Sarriegui

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Tool Support for Design Pattern Recognition at Model Level.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Descriptive Semantics of UML and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Software Verification and Validation.

[BibT_eX]

[DOI]

David Chenho Kung

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

An adaptive casteship mechanism for developing multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2008

Ontology for Service Oriented Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Framework for Agent-Based Service-Oriented Modelling.

[BibT_eX]

[DOI]

Zhi Jin

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Virtual Machine for Distributed Agent-oriented Programming.

[BibT_eX]

Bin Zhou

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

On the Composition of Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.

[BibT_eX]

[DOI]

Du Zhang

Proceedings of the Intelligent Data Engineering and Automated Learning, 2008

Testing Java Components based on Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test.

[BibT_eX]

[DOI]

W. Eric Wong

Fevzi Belli

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Formal Descriptive Semantics of UML.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

Data Mutation Testing Applied to a Modelling Tool.

[BibT_eX]

[DOI]

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Specifying Behavioural Features of Design Patterns in First Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Navigability Design and Measurement.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007

Modelling Web Services in the agent-oriented modelling language and environment CAMLE.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2007

Automation of Software Test - Report on the Second Interional Workshop AST 2007.

[BibT_eX]

[DOI]

W. Eric Wong

Amit M. Paradkar

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated Testing EJB Components Based on Algebraic Specifications.

[BibT_eX]

[DOI]

Liang Kong

Bin Zhou

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

An experimental study of the emergent behaviors of self-organized agent communities.

[BibT_eX]

[DOI]

Shufeng Wang

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2006

Assuring quality of web-based applications.

[BibT_eX]

[DOI]

David Chenho Kung

Inf. Softw. Technol., 2006

Specifying Consistency Constraints for Modelling Languages.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

The first international workshop on automation of software test.

[BibT_eX]

[DOI]

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

Testing Software Modelling Tools Using Data Mutation.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

A Framework for Service-Oriented Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Tool Support to Model-based Quality Analysis of Software Architecture.

[BibT_eX]

[DOI]

Qian Zhang

Jian Wu

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Agent-Oriented Modelling and Specification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Formal Reasoning about Emergent Behaviours of Multi-Agent Systems.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Caste-Centric Agent-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Empirical Validation of Website Timeliness Measures.

[BibT_eX]

[DOI]

Sue Greenwood

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Agent Oriented Programming Based on SLABS.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Towards an agent oriented programming language with caste and scenario mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

Software design methodology - from pinciples to architectural styles.

[BibT_eX]

[DOI]

Elsevier, ISBN: 978-0-7506-6075-4, 2005

2004

CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Website Complexity Metrics for Measuring Navigability.

[BibT_eX]

[DOI]

Sue Greenwood

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Agent-Oriented Formal Specification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, 2004

Cooperative Agent Approach to Quality Assurance and Testing Web Software.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Consistency Check in Modelling Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Scenario Mechanism in Agent-Oriented Programming.

[BibT_eX]

[DOI]

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

2003

A Note on Test Oracles and Semantics of Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Caste: A Step beyond Object Orientation.

[BibT_eX]

[DOI]

David E. Lightfoot

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Soft Gene, Role, Agent: MABS Learns from Sociology.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Modelling and Specifying Scenarios and Agent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Modelling Cooperative Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

A Multi-Agent Software Environment for Testing Web-based Applications.

[BibT_eX]

[DOI]

Qingning Huo

Sue Greenwood

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

A formal specification language for agent-oriented software engineering.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002

Software requirements validation via task analysis.

[BibT_eX]

[DOI]

J. Syst. Softw., 2002

A methodology of testing high-level Petri nets.

[BibT_eX]

[DOI]

Xudong He

Inf. Softw. Technol., 2002

Formal Specification of Evolutionary Software Agents.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Application of Hazard Analysis to Software Quality Modelling.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the AOIS '02, 2002

Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the AOIS '02, 2002

2001

SLABS: A Formal Specification Language for Agent-Based Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

The Role of Castes in Formal Specification of MAS.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents: Specification, 2001

Quality Modelling for Web-Based Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

An Observational Theory of Integration Testing for Component-Based Software Development.

[BibT_eX]

[DOI]

Xudong He

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Configuration Management System Supporting Component-Based Software Development.

[BibT_eX]

[DOI]

Lu Zhang

Hong Mei

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Scenario Analysis in an Automated Tool for Requirements Engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2000

Constructions of behaviour observation schemes in software testing.

[BibT_eX]

[DOI]

Xudong He

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Formal Specification of Agent Behaviour through Environment Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Automating Scenario-Driven Structured Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1998

Specifications in software prototyping.

[BibT_eX]

[DOI]

Luqi

Carl K. Chang

J. Syst. Softw., 1998

1997

Adequate testing of hypertext applications.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1997

Software Unit Test Coverage and Adequacy.

[BibT_eX]

[DOI]

John H. R. May

ACM Comput. Surv., 1997

Automatic Generation of Formal Specification from Requirements Definition.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

A Formal Interpretation of Software Testing as Inductive Inference.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1996

Requirements Analysis and Specification as a Problem of Software Automation.

[BibT_eX]

Jiafu Xu

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Tool support of orderly transition from informal to formal descriptions in requirements engineering.

[BibT_eX]

J. Xu

Proceedings of the Advanced IT Tools, 1996

1995

Axiomatic assessment of control flow-based software test adequacy criteria.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

1994

How Powerful are Folding/Unfolding Transformations?

[BibT_eX]

[DOI]

J. Funct. Program., 1994

Knowledge engineering helps testing protection software.

[BibT_eX]

John H. R. May

Proceedings of the SEKE'94, 1994

Injecting Faults into Environment Simulators for Testing Safety Critical Software.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1994

1993

Test data adequacy measurement.

[BibT_eX]

[DOI]

Softw. Eng. J., 1993

1992

Inductive Inference and Software Testing.

[BibT_eX]

[DOI]

John H. R. May

Softw. Test. Verification Reliab., 1992

1989

A metalanguage to express human guidance for program transformation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A Knowledge-Based System to Synthesize FP Programs from Examples.

[BibT_eX]

[DOI]