-
1
-
-
0024108615
-
Symbolic execution systems-A review
-
November
-
P. D. Coward. Symbolic execution systems-a review. Software Engineering Journal, pages 229-239, November 1988.
-
(1988)
Software Engineering Journal
, pp. 229-239
-
-
Coward, P.D.1
-
2
-
-
84884715303
-
-
URL: www. iro. umontreal. ca/gambit/
-
M. Feeley. Gambit Web Page. URL: www. iro. umontreal. ca/gambit/.
-
Gambit Web Page
-
-
Feeley, M.1
-
3
-
-
3042732479
-
Translation of conditional compilation
-
Spring
-
M. Harsu. Translation of conditional compilation. Nordic Journal of Computing, 6(1), Spring 1999.
-
(1999)
Nordic Journal of Computing
, vol.6
, Issue.1
-
-
Harsu, M.1
-
5
-
-
0003250977
-
Revised5 report on the algorithmic language Scheme
-
(Editors)
-
R. Kelsey, W. Clinger, and J. R. (Editors). Revised5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9):26-76, 1998.
-
(1998)
ACM SIGPLAN Notices
, vol.33
, Issue.9
, pp. 26-76
-
-
Kelsey, W.1
Clinger, R.R.J.2
-
6
-
-
0016971687
-
Symbolic execution and program testing
-
July
-
J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
-
(1976)
Communications of the ACM
, vol.19
, Issue.7
, pp. 385-394
-
-
King, J.C.1
-
7
-
-
0027961188
-
On the inference of configuration structures from source code
-
Gausstrasse 17, D-38092 Braunschweig, Deutschland
-
M. Krone and G. Snelting. On the inference of configuration structures from source code. Technical Report 93-06, Gausstrasse 17, D-38092 Braunschweig, Deutschland, 1994.
-
(1994)
Technical Report 93-06
-
-
Krone, M.1
Snelting, G.2
-
8
-
-
3042731334
-
-
Fachberichte Informatik 7-2001, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz
-
B. Kullbach and V. Riediger. Folding: An Approach to Enable Program Understanding of Preprocessed Languages. Fachberichte Informatik 7-2001, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2001.
-
(2001)
Folding: An Approach to Enable Program Understanding of Preprocessed Languages
-
-
Kullbach, B.1
Riediger, V.2
-
9
-
-
0028721217
-
Understanding code containing preprocessor constructs
-
Washington, DC, USA, November 14-15
-
P. Livadas and D. Small. Understanding code containing preprocessor constructs. In IEEE Third Workshop on Program Comprehension, pages 89-97, Washington, DC, USA, November 14-15, 1994.
-
(1994)
IEEE Third Workshop on Program Comprehension
, pp. 89-97
-
-
Livadas, P.1
Small, D.2
-
10
-
-
0033098667
-
Harissa: A hybrid approach to Java execution
-
G. Muller and U. P. Schultz. Harissa: A hybrid approach to Java execution. IEEE Software, 16(2):44-51, 1999.
-
(1999)
IEEE Software
, vol.16
, Issue.2
, pp. 44-51
-
-
Muller, G.1
Schultz, U.P.2
-
11
-
-
84864362755
-
Ifdef considered harmful, or portability experience with c news
-
June
-
H. Spencer and G. Collyer. ifdef considered harmful, or portability experience with c news. In Summer '92 USENIX, pages 185-198, June 1992.
-
(1992)
Summer '92 USENIX
, pp. 185-198
-
-
Spencer, H.1
Collyer, G.2
|