Symbiosis of Static Analysis and Program Testing

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-36578-8_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Complementary Approach to Program Analysis and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1978English

The Yogi Project: Software Property Checking via Static Analysis and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Technology and Layout-Related Testing of Static Random-Access Memories

Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic EngineeringElectrical
1994English

Design, Construction and Testing of a Base Driven Static Inverter

Global Journal of Pure and Applied Sciences
2006English

A Program Testing Assistant

Communications of the ACM
Computer Science
1982English

The 2D Static Strength Prediction Programâ„¢

Work
MedicineEnvironmentalPublic HealthRehabilitationOccupational Health
1993English

Static Analysis of Android Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Static, Vibration, and Buckling Analysis of Nanobeams

2017English

Testing and Modelling of Annealed Float Glass Under Quasi-Static and Dynamic Loading

Engineering Fracture Mechanics
Mechanics of MaterialsMaterials ScienceMechanical Engineering
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy