5608 search results - page 46 / 1122 » Structure description tools |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
ASSETS
2004
ACM
15 years 3 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
: This paper describes a full two-level morphological description 5,9 of Turkish word structures. The description has been implemented using the PC-KIMMO environment 2 and is based...