Domain analysis: from art form to engineering discipline
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Relationship between specifications and testing
Information and Software Technology
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
Evaluating usability evaluation techniques
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
The Haskell: The Craft of Functional Programming
The Haskell: The Craft of Functional Programming
Usability Engineering
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Towards a Test-Ready Meta-model for Use Cases
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Domain specific test case generation using higher ordered typed languages for specification
Domain specific test case generation using higher ordered typed languages for specification
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
Hi-index | 0.00 |
HOTTest is a model based test automation technique of software systems based on models of the system described using HaskellDB. HaskellDB is an embedded domain specific language derived from Haskell. HOTTest enforces a systematic abstraction process and exploits system invariants for automatically producing test cases for domain specific requirements. Use of functional languages for system modeling is a new concept and hence HOTTest is subject to concerns of usability, like any other new technique. Also, the syntax and the declarative style of Haskell based languages make them difficult to learn. Similar concerns can be raised for HOTTest as it shares the same syntax with Haskell. In this paper we describe an experiment designed to study the usability of HOTTest and to compare it with existing model based test design techniques. The results show that HOTTest is more usable than the traditional technique and demonstrate that the test suites produced by HOTTest are more effective and efficient than those generated using the traditional model based test design technique.