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”
EN
ČeštinaEnglish

Filters

76 530 (0,604s) •

Result

STANSE: Bug-finding Framework for C Programs

Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.

JC - Počítačový hardware a software

  • 2012
    • •
  • D
    • •
  • Link
Result

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

machines. And then we symbolically execute the sliced program to find real violations of the checked properties, i.e. real bugs. Depending on the kind of symbolic execution, the technique can be applied as a stand-alone bug

IN - Informatika

  • 2012
    • •
  • D
    • •
  • Link
Result

The common bed bug (Cimex lectularius) – biology, medical relevance, possibilities for the detection and control

Bed bugs have become a major concern worldwide in the 21st century and are therefore intensively investigated. The new findings not only extend the knowledge of their biology, medical relevance, and causes of the resurgence, but als...

Epidemiology

  • 2017
    • •
  • Jimp
    • •
  • Link
Result

Analysis of testability and documentability of web applications

. The goal of testing is to find and then fix as many bugs as possible, resulting in a better quality application. A bug is a difference between what an application the number of bugs found and the quality of the a...

Mechanical engineering

  • 2022
    • •
  • Vsouhrn
Result

Age structure of bed bug (Heteroptera: Cimicidae) aggregations affects the nymphal feeding success

Background: Bed bugs (Heteroptera: Cimicidae) are a group of blood-feeding. Among those, bed bug aggregations represent a striking example of a sub-social structure. However, their benefits for the bed bugs as well as their...

Parasitology

  • 2019
    • •
  • Jimp
    • •
  • Link
Result

Erythrocyte size as one of potential causes of host preferences in cimicids (Cimex spp., Heteroptera: Cimicidae)

bed bugs. Also bat bugs C. pipistrelli differ in particular bat hosts. We found some differences between the two lineages of bed bugs in the speed of moulting that the bug proboscis could be very narrow and that r...

EG - Zoologie

  • 2014
    • •
  • Jx
Result

The assassin bug Nagusta goedelii (Hemiptera: Heteroptera: Reduviidae) in Prague: an accidental introduction?

The recent finding of a living specimen of the Ponto-Mediterranean assassin bug Nagusta goedelii (Kolenati, 1857) (Hemiptera: Heteroptera: Reduviidae: Harpactorinae) from the city of Prague, Czech Republic, is reported. This is a ne...

EG - Zoologie

  • 2010
    • •
  • Jx
Result

THE INFLUENCE OF DIFFRENT METHODS OF SOIL MANAGEMANT ON BIODIVERSITY OF INSECTS IN THÉ GRASS AND CLOVER CROPS

of all indices of diversity are in the mu1ched sites. A completely new finding is detecting fewer true bugs in the mulched grass stand compared to the not mulched one. To determine the effect of mulching on the occurrence of true <...

GF - Choroby, škůdci, plevely a ochrana rostlin

  • 2014
    • •
  • D
Result

ProRE: An ACO- based programmer recommendation model to precisely manage software bugs

The process of assigning bugs to particular programmers is called bug assignment in software engineering. The programmer can fix the bugs by applying recommendation model (ProRE) to manage software bugs precisely. ...

Telecommunications

  • 2023
    • •
  • JSC
    • •
  • Link
Result

Symbiotic

to find real violations of the checked properties, i.e. real bugs.

IN - Informatika

  • 2012
    • •
  • R
    • •
  • Link
  • 1 - 10 out of 76 530