Pinned Repositories
AllRepair
binary-heap-pex
Binary heap (priority queue) implementation using TDD and automated tests generation with Pex
cecil.samples
Samples for Cecil
Chess
A concurency testing tool
CodeCleanupTools
A set of command-line tools to cleanup C# and VB source code.
ContractsSubjects
daikon-dot-net-front-end
Celeriac .NET Front-End for Daikon
DataFlowAnalysis
APIs for control-flow and data-flow analysis in Roslyn.
Precis
Tracer
aastorg2's Repositories
aastorg2/ContractsSubjects
aastorg2/Precis
aastorg2/Tracer
aastorg2/AllRepair
aastorg2/binary-heap-pex
Binary heap (priority queue) implementation using TDD and automated tests generation with Pex
aastorg2/cecil.samples
Samples for Cecil
aastorg2/Chess
A concurency testing tool
aastorg2/CodeCleanupTools
A set of command-line tools to cleanup C# and VB source code.
aastorg2/daikon-dot-net-front-end
Celeriac .NET Front-End for Daikon
aastorg2/DataFlowAnalysis
APIs for control-flow and data-flow analysis in Roslyn.
aastorg2/doc
Documentation
aastorg2/EcoCov
Economic Analysis for Problem Resolution in Structural Test Generation
aastorg2/InGeneer
Input generalization tool
aastorg2/Misc-Powershell-Scripts
Random Tools
aastorg2/omnisharp-roslyn
OmniSharp based on roslyn workspaces
aastorg2/PexFaultLocalization
cs527 project for pex fault localization
aastorg2/PexMolesAndFakes
Demonstration of Pex and Moles testing frameworks and the migration from Moles to new Fakes framework available in Visual Studio 2012.
aastorg2/PowerShell_And_Microsoft_Roslyn
Integrating PowerShell and Roslyn,the next generation of language object models for code generation, analysis, and refactoring
aastorg2/randoop
Automatic test generation for Java
aastorg2/sat
Boolean satisfiability problem
aastorg2/ssft19-ai
aastorg2/VCVars
Add, Push, or Pop Visual C++ 2017 environment variables to your system PATH
aastorg2/VSCodeILViewer
A Visual Studio Code C# IL (Intermediate Language) Viewer
aastorg2/zipkinTraceParser