Using formal specifications to support software testing

Hans-Martin H�rcher; Jan Peleska

doi:10.1007/bf00402650

Using formal specifications to support software testing

Software Quality Journal ◽

10.1007/bf00402650 ◽

1995 ◽

Vol 4 (4) ◽

pp. 309-327 ◽

Cited By ~ 21

Author(s):

Hans-Martin H�rcher ◽

Jan Peleska

Keyword(s):

Software Testing ◽

Formal Specifications ◽

Support Software

Download Full-text

Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool

Advances in Artificial Intelligence - SBIA 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34459-6_23 ◽

2012 ◽

pp. 222-232 ◽

Cited By ~ 2

Author(s):

Aurélio da Silva Grande ◽

Arilo Claudio Dias Neto ◽

Rosiane de Freitas Rodrigues

Keyword(s):

Evolutionary Algorithm ◽

Software Testing ◽

Web Tool ◽

Trade Off ◽

Testing Techniques ◽

Support Software

Download Full-text

Test Management Traceability Model to Support Software Testing Documentation

Communications in Computer and Information Science - Digital Information and Communication Technology and Its Applications ◽

10.1007/978-3-642-22027-2_3 ◽

2011 ◽

pp. 21-32

Author(s):

Azri Azmi ◽

Suhaimi Ibrahim

Keyword(s):

Software Testing ◽

Test Management ◽

Support Software

Download Full-text

A Software Traceability Model to Support Software Testing Documentation

Parallel and Distributed Computing and Networks / 720: Software Engineering ◽

10.2316/p.2011.720-053 ◽

2011 ◽

Author(s):

Azri Azmi ◽

Suhaimi Ibrahim

Keyword(s):

Software Testing ◽

Software Traceability ◽

Support Software

Download Full-text

ON THE PROMISE OF NEURAL NETWORKS TO SUPPORT SOFTWARE TESTING

Advances in Fuzzy Systems — Applications and Theory - Computational Intelligence in Software Engineering ◽

10.1142/9789812816153_0001 ◽

1998 ◽

pp. 3-32 ◽

Cited By ~ 1

Author(s):

Anneliese von Mayrhauser ◽

Charles W. Anderson ◽

Tom Chen ◽

Richard Mraz ◽

C. A. Gideon

Keyword(s):

Neural Networks ◽

Software Testing ◽

Support Software

Download Full-text

Optimizing compilation with preservation of structural code coverage metrics to support software testing

Software Testing Verification and Reliability ◽

10.1002/stvr.1485 ◽

2012 ◽

Vol 24 (3) ◽

pp. 184-218 ◽

Cited By ~ 2

Author(s):

Raimund Kirner ◽

Walter Haas

Keyword(s):

Software Testing ◽

Code Coverage ◽

Coverage Metrics ◽

Support Software ◽

Structural Code

Download Full-text

Formal Specifications and Software Testing, a Fruitful Convergence

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_5 ◽

2020 ◽

pp. 87-94

Author(s):

Marie-Claude Gaudel

Keyword(s):

Software Testing ◽

Formal Specifications

Download Full-text

Software testing based on formal specifications: a theory and a tool

Software Engineering Journal ◽

10.1049/sej.1991.0040 ◽

1991 ◽

Vol 6 (6) ◽

pp. 387 ◽

Cited By ~ 192

Author(s):

Gilles Bernot ◽

Marie Claude Gaudel ◽

Bruno Marre

Keyword(s):

Software Testing ◽

Formal Specifications

Download Full-text

Mining software defect data to support software testing management

Applied Intelligence ◽

10.1007/s10489-009-0193-8 ◽

2009 ◽

Vol 34 (2) ◽

pp. 245-257 ◽

Cited By ~ 12

Author(s):

Rattikorn Hewett

Keyword(s):

Software Testing ◽

Software Defect ◽

Testing Management ◽

Support Software

Download Full-text

Using Rules to Support Software Testing

Intelligent Systems Reference Library - Modeling with Rules Using Semantic Knowledge Engineering ◽

10.1007/978-3-319-66655-6_12 ◽

2017 ◽

pp. 299-312

Author(s):

Grzegorz J. Nalepa

Keyword(s):

Software Testing ◽

Support Software

Download Full-text

Abstract #246: Impact of Insurance Formulary and Manufacturer Coupons Measured by Diabetes Support Software

Endocrine Practice ◽

10.1016/s1530-891x(20)44366-6 ◽

2017 ◽

Vol 23 ◽

pp. 54-55

Author(s):

Bradley Eilerman

Keyword(s):

Support Software

Download Full-text