2419 search results - page 182 / 484 » A Formal Approach to Software Testing |
152
Voted
SOCO
2009
Springer
15 years 10 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
156
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
134
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
135
Voted
RE
1999
Springer
15 years 8 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
117
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...