2012•TU/e Research PortalRequires access

Editorial message : special track on software verification and testing

Jun Pang, Mohammad Reza Mousavi

Abstract

The main topics of the special track include, but are not limited to: tools and techniques for verification of large scale software systems; real world applications and case studies applying software verification; static and runtime analysis; abstract interpretation; model checking; theorem proving; refinement and correct by construction development; model-based testing; verification-based testing; run-time verification; symbolic execution and partial evaluation; analysis methods for dependable systems; and software certification and proof carrying code.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Computer science, Software verification, Verification and validation, Symbolic execution, Abstract interpretation, Static analysis, Programming language, Model checking