Software model checking Page 1 21 Software Model Checking RANJIT JHALA University of
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …

Missing data has become an increasingly serious problem in credit risk classification. A one-
hot encoding-based data preprocessing method is proposed to solve the missing data …

Symbolic execution has proven to be a practical technique for building automated test case
generation and bug finding tools. Nevertheless, due to state explosion, these tools still …

B last is an automatic verification tool for checking temporal safety properties of C programs.
Given a C program and a temporal safety property, B last either statically proves that the …

Automatically generated tools can significantly improve programmer productivity. For
example, parsers and dataflow analyzers can be automatically generated from declarative …

The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …

Abstract Machine learning (ML) approach based on big-data is a powerful tool of fatigue life
prediction and some potential results can be obtained. The present study introduces a multi …

The success of software verification depends on the ability to find a suitable abstraction of a
program automatically. We propose a method for automated abstraction refinement which …

We present tracer, a verifier for safety properties of sequential C programs. It is based on
symbolic execution (se) and its unique features are in how it makes se finite in presence of …

Bounded model checking (BMC) has successfully been used for many practical program
verification problems, but concurrency still poses a challenge. Here we describe a new …