1246 search results - page 72 / 250 » Online testing with model programs |
100
Voted
ECLIPSE
2006
ACM
15 years 6 months ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
74
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
88
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
117
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
111
Voted
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...