2419 search results - page 337 / 484 » A Formal Approach to Software Testing |
95
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
114
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
150
Voted
TVLSI
2008
15 years 2 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
165
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
150
Voted
KBSE
1995
IEEE
15 years 6 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...