Software testing research: Achievements, challenges, dreams
A Bertolino - Future of Software Engineering (FOSE'07), 2007 - ieeexplore.ieee.org
Software engineering comprehends several disciplines devoted to prevent and remedy
malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a …
malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a …
Automated regression test case generation for web application: A survey
Testing is one of the most important phases in the development of any product or software.
Various types of software testing exist that have to be done to meet the need of the software …
Various types of software testing exist that have to be done to meet the need of the software …
A state-based approach to integration testing based on UML models
Correct functioning of object-oriented software depends upon the successful integration of
classes. While individual classes may function correctly, several new faults can arise when …
classes. While individual classes may function correctly, several new faults can arise when …
Deep attentive ranking networks for learning to order sentences
We present an attention-based ranking framework for learning to order sentences given a
paragraph. Our framework is built on a bidirectional sentence encoder and a self-attention …
paragraph. Our framework is built on a bidirectional sentence encoder and a self-attention …
[PDF][PDF] Testing service composition
A Bucchiarone, H Melgratti, F Severoni - Proceedings of the 8th …, 2007 - Citeseer
Service Oriented Computing is aimed at providing the bases for building software by
assembling independent, loosely coupled services. Industry has given birth to several …
assembling independent, loosely coupled services. Industry has given birth to several …
Finite‐state model extraction and visualization from Java program execution
J KP, S Jayaraman, B Jayaraman - Software: practice and …, 2021 - Wiley Online Library
Finite‐state models are extensively used for discrete systems and they have also been
adopted for the analysis and verification of concurrent systems. Programs that have a …
adopted for the analysis and verification of concurrent systems. Programs that have a …
A model-driven approach for functional test case generation
Test phase is one of the most critical phases in software engineering life cycle to assure the
final system quality. In this context, functional system test cases verify that the system under …
final system quality. In this context, functional system test cases verify that the system under …
Model based testing language and framework
EJ Triou, AJ Kher - US Patent 7,813,911, 2010 - Google Patents
A model based testing framework is provided that can be incorporated into and used to
supplement existing testing approaches. Via annotation of custom attributes and …
supplement existing testing approaches. Via annotation of custom attributes and …
Generating test plans for acceptance tests from uml activity diagrams
A Heinecke, T Brückmann, T Griebe… - 2010 17th IEEE …, 2010 - ieeexplore.ieee.org
The Unified Modeling Language (UML) is the standard to specify the structure and
behaviour of software systems. The created models are a constitutive part of the software …
behaviour of software systems. The created models are a constitutive part of the software …
[HTML][HTML] FSM quasi-equivalence testing via reduction and observing absences
RM Hierons - Science of Computer Programming, 2019 - Elsevier
There has been significant interest in automatically generating test cases from a non-
deterministic finite state machine (FSM). Most approaches check that the behaviours of the …
deterministic finite state machine (FSM). Most approaches check that the behaviours of the …