Dynamic analysis of software systems produces behavioral models that are useful for
analysis, verification and testing. The main techniques for extracting models of functional …

Dynamically discovering likely program invariants from concrete test executions has
emerged as a highly promising software engineering technique. Dynamic invariant …

В данной работе представлен обзор методов верификации программного обеспечения
(ПО). Верификацией называется проверка соответствия результатов отдельных …

Many software applications must provide services to hundreds or thousands of users
concurrently. These applications must be load tested to ensure that they can function …

It is very hard to fix a software failure without being able to reproduce it. However,
reproducing a failure is often difficult and time-consuming. This paper proposes a novel …

Machine learning techniques have long been used for various purposes in software
engineering. This paper provides a brief overview of the state of the art and reports on a …

Framework-intensive applications (eg, Web applications) heavily use temporary data
structures, often resulting in performance bottlenecks. This paper presents an optimized …

In the context of open source development or software evolution, developers often face test
suites which have been developed with no apparent rationale and which may need to be …

The usual way to compare testing strategies, whether theoretically or empirically, is to
compare the number of faults they detect. To ascertain definitely that a testing strategy is …

Intuition suggests that random testing of object-oriented programs should exhibit a
significant difference in the number of faults detected by two different runs of equal duration …