3090 search results - page 137 / 618 » On Testing Answer-Set Programs |
103
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
123
click to vote
ICFP
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
99
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
135
click to vote
FM
2006
Springer
15 years 6 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...
175
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...