Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Aditya V. Thakur

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Related publications

Property Checking via Structural Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Applying Model Checking to Destructive Testing and Analysis of Software System

Journal of Software
2013English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE Transactions on Software Engineering
Software
2015English

Property Testing Lower Bounds via Communication Complexity

Computational Complexity
MathematicsComputational MathematicsTheoretical Computer ScienceComputational Theory
2012English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Symbiosis of Static Analysis and Program Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Black-Box Approach for Software Testing Based on Fat-Property

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2020English

Static Analysis-Based Approaches for Secure Software Development

Communications in Computer and Information Science
MathematicsComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy