Search Sciweavers | Sciweavers

31

DSRT
2008
IEEE

114views Modeling and Simulation» more DSRT 2008»

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

13 years 9 months ago

The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...

Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...

claim paper

Read More »

21

click to vote

SERA
2007
Springer

83views Software Engineering» more SERA 2007»

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis

14 years 1 months ago

Download www.labri.fr

Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...

Antoine Rollet, Fares Saad-Khorchef

claim paper

Read More »

25

click to vote

SSIRI
2010

116views Software Engineering» more SSIRI 2010»

A Formal Framework for Mutation Testing

13 years 6 months ago

Download adt.et.upb.de

— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...

Fevzi Belli, Mutlu Beyazit

claim paper

Read More »

20

click to vote

ISSRE
2002
IEEE

109views Software Engineering» more ISSRE 2002»

Saturation Effects in Testing of Formal Models

14 years 18 days ago

Download menzies.us

Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...

Tim Menzies, David Owen, Bojan Cukic

claim paper

Read More »

16

click to vote

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

14 years 1 months ago