Factor diagnosis and future governance of dangerous goods accidents in China's ports
Dangerous goods are particularly hazardous, as they can be flammable, explosive, and
toxic. These characteristics make them vulnerable to accidents, and such mishaps during …
toxic. These characteristics make them vulnerable to accidents, and such mishaps during …
Evospex: An evolutionary algorithm for learning postconditions
Software reliability is a primary concern in the construction of software, and thus a
fundamental component in the definition of software quality. Analyzing software reliability …
fundamental component in the definition of software quality. Analyzing software reliability …
Automated model repair for Alloy
Automated program repair is an active research area. However, existing research focuses
mostly on imperative code, eg in Java. In this paper, we study the problem of repairing …
mostly on imperative code, eg in Java. In this paper, we study the problem of repairing …
Applying learning techniques to oracle synthesis
F Molina - Proceedings of the 35th IEEE/ACM International …, 2020 - dl.acm.org
Software reliability is a primary concern in the construction of software, and thus a
fundamental component in the definition of software quality. Analyzing software reliability …
fundamental component in the definition of software quality. Analyzing software reliability …
[图书][B] Automated synthesis and debugging of declarative models in alloy
K Wang - 2018 - search.proquest.com
In theory, formal specifications offer numerous benefits in developing more reliable software.
In practice however, the use of specifications is rather limited, and practitioners often …
In practice however, the use of specifications is rather limited, and practitioners often …
From operational to declarative specifications using a genetic algorithm
In specification-based test generation, sometimes having a formal specification is not
sufficient, since the specification may be in a different formalism from that required by the …
sufficient, since the specification may be in a different formalism from that required by the …
Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers
Coding rules become more critical for security-oriented softwares, which prefer compilers as
their base platforms due to simultaneous demands not only in a mature grammatical …
their base platforms due to simultaneous demands not only in a mature grammatical …