Sciweavers

2539 search results - page 125 / 508
» Debugging Method Names
Sort
View
ESOP
2005
Springer
15 years 8 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
98
Voted
ATAL
2005
Springer
15 years 7 months ago
MAGENTA technology: multi-agent systems for industrial logistics
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
Jonathan Himoff, Petr Skobelev, Michael Wooldridge
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 7 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
97
Voted
PASTE
2010
ACM
15 years 7 months ago
Expect the unexpected: error code mismatches between documentation and the real world
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
Cindy Rubio-González, Ben Liblit
141
Voted
GECCO
2010
Springer
196views Optimization» more  GECCO 2010»
15 years 7 months ago
Using synthetic test suites to empirically compare search-based and greedy prioritizers
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
Zachary D. Williams, Gregory M. Kapfhammer