6800 search results - page 197 / 1360 » Testing with Functions as Specifications |
IADIS
2004
13 years 11 months ago
2004
The rising popularity of World Wide Web has brought portal solutions to a rapid development. More and more companies, agencies, departments have replaced or completed their Web si...
APPINF
2003
13 years 11 months ago
2003
The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
ICSE
2005
IEEE-ACM
14 years 3 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...