2419 search results - page 159 / 484 » A Formal Approach to Software Testing |
128
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
118
Voted
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
117
Voted
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
135
Voted
ACMSE
2000
ACM
15 years 8 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
146
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...