Huaikou Miao

Yida Zhang

Ramón J. Durán Barroso

Xiaoxian Yang

Mob. Networks Appl., 2021

Research on Edge Service Composition Method Based on BAS Algorithm.

[BibT_eX]

[DOI]

Zhoujie Du

Comput. Intell. Neurosci., 2021

2020

LSTM-based deep learning for spatial-temporal software testing.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2020

Video Synopsis Based on Attention Mechanism and Local Transparent Processing.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2019

Multi-label Recommendation of Web Services with the Combination of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2018

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2018

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2018

A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds.

[BibT_eX]

[DOI]

Future Internet, 2018

Research Review on Web Service Composition Testing.

[BibT_eX]

[DOI]

Zhoujie Du

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Neighborhood-Based Uncertain QoS Prediction of Web Services via Matrix Factorization.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2018

2017

An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process.

[BibT_eX]

[DOI]

IEEE Access, 2017

Research on service recommendation reliability in mobile computing.

[BibT_eX]

[DOI]

Weng Wen

Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective.

[BibT_eX]

[DOI]

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

A Framework for Multi-view Reconciliation and for Medical Devices Personalization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

A 3D Registration Method Based on Indoor Positioning Through Networking.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

An empirical study on clustering approach combining fault prediction for test case prioritization.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Ying Li

Int. J. Softw. Eng. Knowl. Eng., 2016

Instant-Based and State-Based Analysis of Infinite Logical Clock.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automated Safety Analysis on Scenario-Based Requirements for Train Control System.

[BibT_eX]

[DOI]

Weikai Miao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

Classification of wine quality with imbalanced data.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2016

Context-Based Service Recommendation System Using Probability Model in Mobile Devices.

[BibT_eX]

[DOI]

Weng Wen

Proceedings of the 4th International Conference on Enterprise Systems, 2016

Overlap Community Detection Based on Node Convergence Degree.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016

Applying Probabilistic Model Checking to Service Discovery Framework.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

Formal verification of security protocols using Spin.

[BibT_eX]

[DOI]

Hao Fu

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes).

[BibT_eX]

[DOI]

Jinyu Kai

计算机科学, 2015

基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information).

[BibT_eX]

[DOI]

Longhui Chang

Lei Xiao

计算机科学, 2015

A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking.

[BibT_eX]

[DOI]

Int. J. Softw. Innov., 2015

The Interchange Format of Tabular Expressions Using XML.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Survivability prediction of web system based on log statistics.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

Formal specification and reasoning for situated multi-agent system.

[BibT_eX]

[DOI]

Zhuang Li

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

The Influence of Alias and References Escape on Java Program Analysis.

[BibT_eX]

[DOI]

Dashen Sun

Proceedings of the Software Engineering Research, 2014

An Implementation Framework for Optimizing Test Case Generation Using Model Checking.

[BibT_eX]

[DOI]

Longhui Chang

Gongzheng Lu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

A requirements description language pLSC for probabilistic branches and three-stage events.

[BibT_eX]

[DOI]

Jinyu Kai

Proceedings of the 15th IEEE/ACIS International Conference on Software Engineering, 2014

The Design and Implementation of a Modeling Tool for Regular Expressions.

[BibT_eX]

[DOI]

Min Zeng

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Service Reconfiguration Architecture Based on Probabilistic Modeling Checking.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Modeling and Testing of GUIs Using IOLTS.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

Research on the dynamic reconfiguration of Web application using two-phase compatibility verification.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2013

An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage.

[BibT_eX]

[DOI]

Gongzheng Lu

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving.

[BibT_eX]

[DOI]

Gongzheng Lu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Theory of Test Modeling Based on Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Introducing Agents in Multi-agent System with Superposition Refinement.

[BibT_eX]

[DOI]

Zhuang Li

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

A Quantitative Model-Based Selection of Web Service Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

Usage-pattern based Statistical Web Testing and Reliability Measurement.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

Concept Analysis Based Approach to Statistical Web Testing.

[BibT_eX]

[DOI]

Chao Chen

Yihai Chen

Proceedings of the Theories of Programming and Formal Methods, 2013

An approach to service dynamic reconfiguration using probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

Scenario specification based testing model generation.

[BibT_eX]

[DOI]

Beilei Liang

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

A Selenium based approach to automatic test script generation for refactoring JavaScript code.

[BibT_eX]

[DOI]

Ruifeng Chen

Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012

Test Suite Reduction Using Weighted Set Covering Techniques.

[BibT_eX]

[DOI]

Shengwei Xu

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

An Approach to Modeling and Verifying Router-Based Network.

[BibT_eX]

[DOI]

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

2011

Research on Web Service Composition Using Probabilistic Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying for Frameset-Based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Probabilistic Timed Model Checking for Atomic Web Service.

[BibT_eX]

[DOI]

Proceedings of the World Congress on Services, 2011

Probabilistic Petri Net and its Logical Semantics.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Software Engineering Research, 2011

AGT4W: Automatic Generating Tests for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Computer Education [International Conference on Frontiers in Computer Education, 2011

A Pattern-Based Approach to Formal Specification Construction.

[BibT_eX]

[DOI]

Shaoying Liu

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010

Deadlock Detection for Parallel Composition of Components.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Science 2010 [outstanding papers from the 9th ACIS/IEEE International Conference on Computer and Information Science, 2010

Verifying Web Services Composition Based on Interface Automata Using SPIN.

[BibT_eX]

[DOI]

J. Digit. Content Technol. its Appl., 2010

An Improved Algorithm for Building the Characterizing Set.

[BibT_eX]

[DOI]

Jia Mei

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

Towards Practical Modeling of Web Applications and Generating Tests.

[BibT_eX]

[DOI]

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

A Formal Modeling for Component Behaviors Based on Event Track.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Test Generation for Web Applications Using Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th ACIS International Conference on Software Engineering, 2010

The Application of Moodle in Computer English Teaching.

[BibT_eX]

[DOI]

Yihai Chen

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

A Pattern System to Support Refining Informal Ideas into Formal Expressions.

[BibT_eX]

[DOI]

Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2010

A New Approach to Generating High Quality Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Asian Test Symposium, 2010

Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application.

[BibT_eX]

[DOI]

Xiaokang Zhou

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

Modeling and Verifying Web Service Applications with Time Constraints.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Extracting Database Interactions and Generating Test for Web Applications.

[BibT_eX]

[DOI]

Bin Zhu

Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009

Formal Semantics of OWL-S with F-Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, 2009

Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Testing a Web Application Involving Web Browser Interaction.

[BibT_eX]

[DOI]

Bin Zhu

Lizhi Cai

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

Manipulating Clocks in Timed Automata Using PVS.

[BibT_eX]

[DOI]

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

A Novel Approach for On-the-Fly Test Cases Synthesis.

[BibT_eX]

[DOI]

Jia Mei

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

An Abstract Approach to Describing Scenario-Based Specifications.

[BibT_eX]

[DOI]

Zhongyu Chen

Proceedings of the Seventh ACIS International Conference on Software Engineering Research, 2009

A New Approach to Automated Redundancy Reduction for Test Sequences.

[BibT_eX]

[DOI]

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Proving Total Correctness of Refinement Based on Tableau.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009

Analysis and Composition of Web Components Based on p-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

User-interface Design of Web Application Using Object-Z.

[BibT_eX]

[DOI]

Bin Zhu

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

Model Checking UML Activity Diagrams in FDR.

[BibT_eX]

[DOI]

Dong Xu

Nduwimfura Philbert

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

A Common Acquaintance Immunization Strategy for Complex Network.

[BibT_eX]

[DOI]

Qing Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

A Web Service Composition Method Based on Interface Matching.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Towards Automatic Transformation from UML Model to FSM Model for Web Applications.

[BibT_eX]

[DOI]

Liang Guo

J. Softw. Eng. Appl., 2008

Towards Automatically Generating Test Paths for Web Application Testing.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Modeling and Refining the Service-Oriented Requirement.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Refining Service-Oriented Model Using Interpretation Mapping.

[BibT_eX]

[DOI]

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

A UML-Based Approach to Testing Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category.

[BibT_eX]

[DOI]

Xinlin Zhang

Shenghong Li

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Modeling and Composition of Web Application Components using Extended FSM.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Modeling and Analyzing Composite Semantic Web Service Using Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

Verifying Service-Oriented Requirements Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on e-Business Engineering, 2008

The Axiomatic Semantics of PDFD.

[BibT_eX]

[DOI]

Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2008

A Static Analysis Approach for Automatic Generating Test Cases for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

An Approach to Transforming UML Model to FSM Model for Automatic Testing.

[BibT_eX]

[DOI]

Liang Guo

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A New Formal Modeling Approach for Requirement.

[BibT_eX]

[DOI]

Zhongyu Chen

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Modeling Web Browser Interactions and Generating Tests.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Computational Intelligence and Security, 2008

Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation.

[BibT_eX]

[DOI]

Yongmei Lei

Lijie Li

Proceedings of the Third ChinaGrid Annual Conference, ChinaGrid 2008, Dunhuang, Gansu, 2008

Modeling and Verifying Web Browser Interactions.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Specification-based Test Generation and Optimization Using Model Checking.

[BibT_eX]

[DOI]

Jing Liu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Practical Web Testing Model for Web Application Testing.

[BibT_eX]

[DOI]

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Towards Modeling Web Navigation Using FSM and Z.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Intelligent Information Technology Application, 2007

An Approach to Generating Test Cases for Testing Component-based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Intelligent Information Technology Application, 2007

Location Transparent Communications in Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Intelligent Information Technology Application, 2007

Auto-Generating Test Sequences for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 7th International Conference, 2007

Model Checking-based Verification of Web Application.

[BibT_eX]

[DOI]

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

A Rewriting Based Model for Nondeterministic Composite Web Service System.

[BibT_eX]

[DOI]

Junfeng Wu

Proceedings of ICEBE 2007, 2007

An Approach to Modeling Hypermedia Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, 2007

Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, 2007

A Formal Open Framework Based on Agent for Testing Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence and Security, International Conference, 2007

Modeling Web Browser Interactions Using FSM.

[BibT_eX]

[DOI]

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006

The Role of Ontology in Service Oriented System Development.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Modeling Timed Automata Theory in PVS.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Generating Proof Obligation to Verify Object-Z Specification.

[BibT_eX]

[DOI]

Zhicheng Wen

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

A Domain Formal Ontology and the Application in Service Component Retrieval.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

A Formal Architecture Supporting Dynamic Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Data Communication Model of Grid Workflow.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2006

Formalizing and analyzing service oriented software architecture style.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

An Approach to Extending Object-Z with Real-Time.

[BibT_eX]

[DOI]

Zhicheng Wen

Proceedings of the Third IEEE International Workshop on Electronic Design, 2006

2005

D_DIPS: An Intrusion Prevention System for Database Security.

[BibT_eX]

[DOI]

Jiazhu Dai

Proceedings of the Information and Communications Security, 7th International Conference, 2005

Mutation Operators for Object-Z Specification.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

A Strategy for Component-Based Modeling and Refinement.

[BibT_eX]

[DOI]

Jing Liu

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

A Specification-Based Approach to Testing Polymorphic Attributes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

An Approach to Formalizing the Semantics of UML Statecharts.

[BibT_eX]

[DOI]

Xuede Zhan

Proceedings of the Conceptual Modeling, 2004

Formalizing the Semantics of UML Statecharts with Z*.

[BibT_eX]

[DOI]

Xuede Zhan

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

A Design Pattern Verifier in Two-Tier Programming Environment.

[BibT_eX]

[DOI]

Jie Yuan

Liang Cai

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003

The Availability Semantics of Predicate Data Flow Diagram.

[BibT_eX]

[DOI]

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

Structured Object-Z Software Specification Language.

[BibT_eX]

[DOI]

Yihai Chen

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

2002

Formalizing UML Models with Object-Z.

[BibT_eX]

[DOI]

Li Li

Proceedings of the Formal Methods and Software Engineering, 2002

A Specification-Based Software Construction Framework for Reuse.

[BibT_eX]

[DOI]

Jing Liu

Proceedings of the Formal Methods and Software Engineering, 2002

A Framework for Specification-Based Class Testing.

[BibT_eX]

[DOI]

Xuede Zhan

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

2001

Z User Studio: An Integrated Support Tool for Z Specifications.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

A Formalized Abstract Component Object Mode - Z-COM.

[BibT_eX]

[DOI]

Chuanjiang Yu

Li Li

Proceedings of the TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October, 2000

A Test Class Framework for Generating Test Cases from Z Specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

An Approach to Testing the Nonexistence of Initial State in Z Specifications.

[BibT_eX]

[DOI]