1776 search results - page 23 / 356 » Hypothesis Testing for Module Test in Software Development |
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 7 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents data from a study of the current state of practice of software testing. Test managers from twelve different software organizations were interviewed. The interv...
COMPSAC
2009
IEEE
13 years 6 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...