3342 search results - page 558 / 669 » Automating Abstract Interpretation |
132
Voted
ICSE
2004
IEEE-ACM
16 years 27 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
100
Voted
ICSE
2005
IEEE-ACM
16 years 27 days ago
2005
IEEE-ACM
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...
91
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
96
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
95
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...