3889 search results - page 286 / 778 » The Use of Program Dependence Graphs in Software Engineering |
140
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
143
click to vote
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
264
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
125
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
222
click to vote
AROBOTS
2011
14 years 12 months ago
2011
— Database of human motion has been widely used for recognizing human motion and synthesizing humanoid motions. In this paper, we propose a data structure for storing and extract...