16725 search results - page 327 / 3345 » Engineering Software Correctness |
146
click to vote
TSE
2010
15 years 2 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
139
click to vote
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
REportal is an existing web-based reverse engineering portal web site that provides access to a suite of reverse engineering and program comprehension tools via a web This abstrac...
131
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—“God class” is a term used to describe a certain type of large classes which “know too much or do too much”. Often a God class (GC) is created by accident as functionali...
151
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM