1192 search results - page 19 / 239 » Symbolic Query Exploration |
140
Voted
IWPC
2006
IEEE
15 years 9 months ago
2006
IEEE
JIRiSS (Information Retrieval based Software Search for Java) is a software exploration tool that uses an indexing engine based on an information retrieval method. JIRiSS is imple...
108
click to vote
ALT
2003
Springer
16 years 6 days ago
2003
Springer
A pattern is a finite string of constant and variable symbols. The erasing language generated by a pattern p is the set of all strings that can be obtained by substituting (possib...
115
click to vote
AOSD
2003
ACM
15 years 8 months ago
2003
ACM
A development task related to a crosscutting concern is challenging because a developer can easily get lost when exploring scattered elements of code and the complex tangle of rel...
110
click to vote
MS
2003
15 years 4 months ago
2003
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...
153
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...