| 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 |
