Generating Test Cases from Use Cases and Structured Scenarios - Experiences with the RSL Language. | 0 | 0.34 | 2021 |
Experiences on teaching alloy with an automated assessment platform | 0 | 0.34 | 2021 |
Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy. | 0 | 0.34 | 2020 |
Preliminary Experiences in Requirements-Based Security Testing. | 0 | 0.34 | 2020 |
Test case generation based on mutations over user execution traces | 0 | 0.34 | 2020 |
Testing Android Incoming Calls | 0 | 0.34 | 2019 |
Testing When Mobile Apps Go to Background and Come Back to Foreground | 1 | 0.40 | 2019 |
From Requirements to Automated Acceptance Tests with the RSL Language. | 0 | 0.34 | 2019 |
Automatic Test Case Generation from Usage Information | 0 | 0.34 | 2018 |
A Tutorial On Machine Learning For Interactive Pedagogical Systems | 0 | 0.34 | 2018 |
End-to-end Automatic Business Process Validation. | 0 | 0.34 | 2018 |
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. | 0 | 0.34 | 2018 |
Why does the orientation change mess up my Android application? From GUI failures to code faults. | 6 | 0.42 | 2018 |
Manage Software Requirements Specification Using Web Analytics Data. | 0 | 0.34 | 2018 |
A Brief Overview of Existing Tools for Testing the Internet-of-Things | 4 | 0.39 | 2018 |
Pattern-Based Usability Testing | 0 | 0.34 | 2017 |
Multidimensional test coverage analysis: PARADIGM-COV tool. | 2 | 0.39 | 2017 |
An Automated Approach for Requirements Specification Maintenance. | 3 | 0.43 | 2016 |
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets | 1 | 0.34 | 2016 |
A Requirements-to-Implementation Mapping Tool for Requirements Traceability. | 2 | 0.43 | 2016 |
A novel approach using alloy in Domain-Specific Language engineering | 1 | 0.38 | 2015 |
Game Design Techniques for Software Engineering Management Education | 0 | 0.34 | 2015 |
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing | 14 | 0.74 | 2014 |
Towards a pattern language for model-based GUI testing | 3 | 0.44 | 2014 |
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. | 1 | 0.35 | 2013 |
Towards agents with human-like decisions under uncertainty. | 1 | 0.37 | 2013 |
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012) | 0 | 0.34 | 2013 |
Pattern Based GUI Testing Modeling Environment | 8 | 0.57 | 2013 |
Specifying UML protocol state machines in alloy | 4 | 0.49 | 2012 |
Specification-Driven unit test generation for java generic classes | 4 | 0.43 | 2012 |
Test Generation from UML Sequence Diagrams | 3 | 0.66 | 2012 |
Test case generation from mutated task models | 9 | 0.61 | 2011 |
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems | 1 | 0.36 | 2010 |
Test Coverage Analysis of UML State Machines | 6 | 0.61 | 2010 |
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees | 19 | 1.02 | 2008 |
Visual Abstract Notation For Gui Modelling And Testing - Van4guim | 8 | 0.93 | 2008 |
Reverse engineered formal models for GUI testing | 10 | 0.67 | 2007 |
Towards the Integration of Visual and Formal Models for GUI Testing | 14 | 0.72 | 2007 |
Modeling and Testing Hierarchical GUIs | 20 | 1.14 | 2005 |
Automated Specification-based Testing of Interactive Components with AsmL. | 0 | 0.34 | 2004 |