A Formal Model of the Software Test Process

IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2002.1027800
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process

IEEE Transactions on Software Engineering
Software
2003English

Formal Representation and Comparative Analysis of Software Runtime Process

The Advanced Science Journal
2015English

Using the Software Process Model to Analyze a Software Project

English

ScrumFall: A Hybrid Software Process Model

International Journal of Information Technology and Computer Science
2018English

Formal Specifications of Software Model Evolution Using Contracts

English

Test Selection for Object-Oriented Software Based on Formal Specifications

1998English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Extensible Canonical Process Model Synthesis Applying Formal Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Aspects of Component Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy