Sciweavers

7225 search results - page 333 / 1445
» Software is data too
Sort
View
PLDI
2010
ACM
15 years 12 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
AIEDAM
2008
114views more  AIEDAM 2008»
15 years 7 months ago
Design rationale: Researching under uncertainty
Rationale research in software development is a challenging area because while there is no shortage of advocates for its value, there is also no shortage of reasons for why rationa...
Janet E. Burge
ICSM
2003
IEEE
16 years 1 days ago
Populating a Release History Database from Version Control and Bug Tracking Systems
Version control and bug tracking systems contain large amounts of historical information that can give deep insight into the evolution of a software project. Unfortunately, these ...
Michael Fischer, Martin Pinzger, Harald Gall
SIGADA
2001
Springer
15 years 11 months ago
Automating software module testing for FAA certification
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
Usha Santhanam
ANSOFT
1998
157views more  ANSOFT 1998»
15 years 6 months ago
Software Engineering Programmes are not Computer Science Programmes
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
David Lorge Parnas