Working Towards the Verified Software Process

Working Towards the Verified Software Process

Bibliographic Details
Main Author:	Adcock, Bruce M.
Language:	English
Published:	The Ohio State University / OhioLINK 2010
Subjects:	Computer Science Software engineering software verification automated theorem prover lazy copying Resolve debugging
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1293463269

Similar Items

Investigations in Automating Software Verification
by: Kirschenbaum, Jason P.
Published: (2011)

Formal software development tools : an investigation into usability
by: Kadoda, Gada F.
Published: (1997)

Provably Sound and Secure Automatic Proving and Generation of Verification Conditions
by: Lundberg, Didrik
Published: (2018)

Enabling and supporting the debugging of software failures
by: Clause, James Alexander
Published: (2011)

RECT: A Cloud-Based Learning Tool for Graduate Software Engineering Practice Courses With Remote Tutor Support
by: Qing Ding, et al.
Published: (2017-01-01)

Software debugging using the debugger SAM4E Xplained Pro
by: Manoh, Nadia, et al.
Published: (2018)

Semi-automatic fault localization
by: Jones, James Arthur
Published: (2008)

Diagnosing and tolerating bugs in deployed systems
by: Bond, Michael David
Published: (2012)

Empirical study - pairwise prediction of fault based on coverage
by: Shamasunder, Shalini
Published: (2012)

Development and user testing of new user interfaces for mathematics and programming tools
by: Berman, Benjamin Alexander
Published: (2014)

Integration of model checking into software development processes
by: Xie, Fei
Published: (2008)

A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-Classical Logic
by: Mukhopadhyay, Trisha
Published: (2019)

Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems
by: Chen Zhang, et al.
Published: (2019-01-01)

Formal methods in software development: A road less travelled
by: John A van der Poll
Published: (2010-08-01)

Assembly Instruction Level Reverse Execution for Debugging
by: Akgul, Tankut
Published: (2005)

Combining over- and under-approximating program analyses for automatic software testing
by: Csallner, Christoph
Published: (2008)

A Formal Method to Analyze Framework-Based Software
by: Larson, Trent N.
Published: (2002)

Effective Static Debugging via Compential Set-Based Analysis
Published: (2008)

Testing concurrent software systems
by: Kilgore, Richard Brian
Published: (2008)

Vérification d’analyses statiques pour langages de bas niveau
by: Laporte, Vincent
Published: (2015)

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published: (2011)

Development of a toolkit for analyzing software debugging processes using the constructive approach
by: Viktor Shynkarenko, et al.
Published: (2020-10-01)

Techniques for Automated Software Evolution
by: Khatchadourian, Raffi Takvor
Published: (2011)

Simulated Software Testing Process and Its Optimization Considering Heterogeneous Debuggers and Release Time
by: Kaiye Gao
Published: (2021-01-01)

Usability and productivity for silicon debug software: a case study
by: Singh, Punit
Published: (2012)

Implementation of an application debugger for software in embedded systems
by: Markusson, Christoffer
Published: (2008)

HDPV: Highly Interactive, Faithful, In-Vivo Runtime State Visualization for Software Programs
by: Sundararaman, Jaishankar
Published: (2014)

The analysis of Di, a detailed design metric, on large-scale software
by: McDaniel, Patrick Drew
Published: (2011)

Towards putting abstract interpretation of Prolog into practice : design, implementation and evaluation of a tool to verify and optimise Prolog programs
by: Gobert, François
Published: (2007)

Source level debugging for microprocessors
by: Balfour, J.
Published: (1986)

Using theorem proving and algorithmic decision procedures for large-scale system verification
by: Ray, Sandip
Published: (2008)

Automatic Detection and Bypassing of Anti-Debugging Techniques for Microsoft Windows Environments
by: PARK, J., et al.
Published: (2019-05-01)

Model Parameters of Electric Motors for Desired Operating Conditions
by: SEVINC, A.
Published: (2019-05-01)

Phase-Type Modeling Approaches for Software Reliability Modeling with Debugging Process
by: Shinji Inoue, et al.
Published: (2020-02-01)

Introduction to adoption of lean canvas in software test architecture design
by: Padmaraj Nidagundi, et al.
Published: (2017-01-01)

Debugging and Structural Analysis of Declarative Equation-Based Languages
by: Bunus, Peter
Published: (2002)

Perfiles de testing aplicados a modelos de software
by: Palacios, Luis Fernando
Published: (2011)

Dynamic Analysis of Embedded Software
Published: (2015)

Improving Software Quality through Syntax and Semantics Verification of Requirements Models
by: Gaither, Danielle
Published: (2018)

Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages
by: Bronish, Derek
Published: (2012)