Sciweavers

1655 search results - page 203 / 331
» Visual tool for generative programming
Sort
View
116
Voted
ADAEUROPE
2007
Springer
15 years 8 months ago
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
Frank Singhoff, Alain Plantec
110
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
ISSTA
2006
ACM
15 years 8 months ago
Path-oriented random testing
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
Arnaud Gotlieb, Matthieu Petit
124
Voted
ICFP
2009
ACM
15 years 9 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
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...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
VL
2009
IEEE
131views Visual Languages» more  VL 2009»
15 years 9 months ago
Attitudes and self-efficacy in young adults' computing autobiographies
Little is known about the formation of people’s first perceptions about computers and computer code, yet it is likely that these impressions have a lasting effect on peoples’ ...
Andrew J. Ko