All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F19%3A10397720" target="_blank" >RIV/00216208:11320/19:10397720 - isvavai.cz</a>

  • Result on the web

    <a href="http://www.askthecode.net" target="_blank" >http://www.askthecode.net</a>

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    AskTheCode

  • Original language description

    A common way to search for causes of program errors is to manually explore the code or to use a debugger. It is often a tedious process, especially if the code base is large and complicated. AskTheCode wants to change that, being a Microsoft Visual Studio extension for C# to enable developers to gather crucial information about the code semantics. Its main idea is pretty simple - the user selects an assertion in the code and AskTheCode attempts to find any inputs to the program that can break it. The user can then see all the inputs violating the assertion and replay the particular error trace to see how it happened. Due to the high complexity of the problem, it is not guaranteed to find the complete results every time. Nevertheless, even partial information can save the user a lot of time (by not having to manually inspect the call sites that are &quot;safe&quot;).

  • Czech name

  • Czech description

Classification

  • Type

    R - Software

  • CEP classification

  • OECD FORD branch

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Result continuities

  • Project

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2019

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Internal product ID

    AskTheCode

  • Technical parameters

    Nástroj byl využit jako základ pro několik vědeckých publikací, více informací v odkazu níže.

  • Economical parameters

    Nástroj je ve stadiu výzkumného prototypu, nebylo tedy možné jej prozatím nasadit do praxe a ověřit jeho ekonomickou užitečnost.

  • Owner IČO

    02034166

  • Owner name

    Robert Husák