About: Methods and Tools for Automated Bug Detection in Software

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Methods and Tools for Automated Bug Detection in Software Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz:8890 associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
Description	This project belongs to the area of software analysis and verification which is currently a very important and live research area. Correctness of software is nowadays crucial as software is widely used in many safety critical roles. The first goal of this project is to use a real-life software case study for evaluating and comparing currently available tools for automated detection of bugs in software. The case study will be taken from the case studies available within the project SegraVis or from the open-source software community. Consequently, based on the results obtained from the case study, we will improve our currently developed tools (i.e., the tools associated with the formalism of Object-Oriented Petri Nets which has been developed at applicant's home faculty since 1996, and tools based on symbolic execution of Java byte-code which are developed at the University Milano-Bicocca) to be more useful in practice. Another significant benefit of this project is allowing the applicant to (en) Tento projekt spadá do oblasti analýzy a verifikace softwaru, která je dlouhodobě aktuálním výzkumným tématem, protože na správnost a spolehlivost softwaru jsou vzhledem k jeho dnešnímu rozšíření prakticky do všech oblastí lidské činnosti kladeny značné požadavky. Prvním cílem projektu je pomocí případové studie zhodnotit a porovnat aktuálně dostupné nástroje pro automatickou detekci chyb v softwaru. Jako případová studie bude použita některá případová studie z projektu SegraVis nebo bude vybrána z oblasti open-source software. Na základě výsledků této případové studie pak budou programové nástroje, do jejichž vývoje je navrhovatel zapojen, (tedy nástroje založené na objektově orientovaných Petriho sítích dlouhodobě vyvíjené na pracovišti navrhovatele a nástroje založené na symbolickém provádění Java programů, které jsou vyvíjeny na univerzitě Miláno-Bicocca) rozvíjeny směrem k jejich lepší využitelnosti v praxi. Pokračování současné intenzivní spolupráce navrhovatele se zahraničním týmem (cs)
Title	Metody a nástroje pro automatizované odhalování softwarových chyb (cs) Methods and Tools for Automated Bug Detection in Software (en)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/102/06/P076
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/36308551
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/JC
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GP
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02006GA1PD
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	Formal analysis and verification; software; Java; Object-Oriented Petri Nets (en)
http://linked.open...avai/konec-reseni	2008-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...avai/start-reseni	2006-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	711 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	711 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	8 (xsd:integer)
http://linked.open...ku-zverejnovanych	8 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2006/GP102/06/P076/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2007/GP102/06/P076/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2008/GP102/06/P076/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2009/GP102/06/P076/orjk-26230

Faceted Search & Find service v1.16.121 as of Mar 31 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Mar 31 2025, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software