1615 search results - page 319 / 323 » Adaptive programming in JAsCo |
169
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
154
Voted
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
198
Voted
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
182
Voted
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
167
Voted
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...