Výsledky vyhledávání - "General and reference Cross-computing tools and techniques Verification"

FAST approaches to scalable similarity-based test case prioritization Autor Miranda, Breno, Cruciani, Emilio, Verdecchia, Roberto, Bertolino, Antonia

“…Many test case prioritization criteria have been proposed for speeding up fault detection. Among them, similarity-based approaches give priority to the test…”
Získat plný text

Parametric Falsification of Many Probabilistic Requirements Under Flakiness Autor Camilli, Matteo, Mirandola, Raffaela

“…Falsification is a popular simulation-based testing method for Cyber-Physical Systems to find inputs that violate a formal requirement. It employs optimization…”
Získat plný text

Leveraging Propagated Infection to Crossfire Mutants Autor Du, Hang, Palepu, Vijay Krishna, Jones, James A.

“… We conducted a study and found that many such surviving mutants (up to 84% for the subjects of our study…”
Získat plný text

Precimonious: tuning assistant for floating-point precision Autor Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David

“… Precimonious performs a search on the types of the floating-point program variables trying to lower their precision subject to accuracy constraints and performance goals…”
Získat plný text

SBFT Tool Competition 2024 - Python Test Case Generation Track Autor Erni, Nicolas, Mohammed, Al-Ameen Mohammed Ali, Birchler, Christian, Derakhshanfar, Pouria, Lukasczyk, Stephan, Panichella, Sebastiano

“… budget of 400 seconds. We considered one configuration of each tool for each test subject and evaluated the tools…”
Získat plný text

SMT-based bounded model checking for multi-threaded software in embedded systems Autor Cordeiro, Lucas

“…The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification…”
Získat plný text

Strategies for product-line verification: case studies and experiments Autor Apel, Sven, Rhein, Alexander von, Wendler, Philipp, Größlinger, Armin, Beyer, Dirk

“… We have collected and prepared six product lines as subject systems for experimentation. Furthermore, we have developed a model-checking tool chain for C-based and Java-based…”
Získat plný text

Dynamic shape analysis of program heap using graph spectra (NIER track) Autor Malik, Muhammad Zubair

“… Initial experiments show that this approach can generate meaningful summaries for a range of subject structures…”
Získat plný text

Predicting common web application vulnerabilities from input validation and sanitization code patterns Autor Shar, Lwin Khin, Tan, Hee Beng Kuan

“…Software defect prediction studies have shown that defect predictors built from static code attributes are useful and effective. On the other hand, to mitigate…”
Získat plný text

Does Code Coverage Provide a Good Stopping Rule for Operational Profile Based Testing? Autor Miranda, Breno, Bertolino, Antonia

“… On the three subjects considered, we observed a moderate correlation in all cases (except a low correlation for function coverage for one subject…”
Získat plný text