The concept of object storage was introduced in the early 1990's by the research community.
Since then it has greatly matured and is now in its early stages of adoption by the industry …

Proposes the application of the mutation analysis criterion in the context of specifications
based on finite state machines. The main concepts of finite state machines and mutation …

The establishment of a low-cost, effective testing and validation strategy has been pursued
by many researchers at the program level as well as at the specification level. The …

Testing software product lines (SPLs) is very challenging due to a high degree of variability
leading to an enormous number of possible products. The vast majority of today's testing …

This paper presents a formal definition for HMBS (Hypermedia Model Based on Statecharts).
HMBS uses the structure and execution semantics of statecharts to specify both the …

Natural Language (NL) deliverables suffer from ambiguity, poor understandability,
incompleteness, and inconsistency. Howewer, NL is straightforward and stakeholders are …

A fundamental problem of testing Software Product Lines (SPLs) is that variability enables
the production of a large number of instances and it is difficult to construct and run test cases …

The quality of the VV&T-Verification, Validation and Testing-activity is extremely relevant to
the software development process. Testing techniques and criteria have been investigated …

Automated test case generation from behavioral models like Finite State Machines (FSMs)
and Statecharts has long been studied. Environments that enable a test designer to model a …

Introduces hypercharts, a novel and effective notation that extends the well-known statechart
formalism to make it suitable for the specification of temporal and information …