Opendata, web and dolomites

AST SIGNED

Automatic System Testing

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "AST" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA 

Organization address
address: PIAZZA DELL'ATENEO NUOVO 1
city: MILANO
postcode: 20126
website: www.unimib.it

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Italy [IT]
 Total cost 150˙000 €
 EC max contribution 150˙000 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2018-PoC
 Funding Scheme ERC-POC
 Starting year 2019
 Duration (year-month-day) from 2019-01-01   to  2020-06-30

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITA' DEGLI STUDI DI MILANO-BICOCCA IT (MILANO) coordinator 150˙000.00

Map

 Project objective

Verifying the correctness of software systems requires extensive and expensive testing sessions. While there are tools and methodologies to efficiently address unit and integration testing, system testing is still largely the result of manual effort. Testing software applications at the system level requires executing the applications through their interfaces to verify the correctness of their functionalities and stimulate all their layers and components. Automating just part of this process can dramatically improve the effectiveness of verification activities and significantly reduce development costs, relevantly alleviating developers from their verification effort. This project addresses the development of a pre-commercial tool that has the unique capability of efficiently and automatically generating semantically-relevant system test cases equipped with functional oracles. This capability derives from the AUGUSTO technique, which is an outcome of the Learn ERC project. The idea behind Augusto is to exploit the common-sense knowledge, that is, the background knowledge that every computer user has and that normally lets her/him use software applications without the need of accessing any documentation or manual. Once this knowledge is represented abstractly and then embedded in AUGUSTO, the technique can automatically adapt its definition to the software under test every time a program is tested. This development work will be performed jointly with A company that produces and markets testing tools.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "AST" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "AST" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

EffectiveTG (2018)

Effective Methods in Tame Geometry and Applications in Arithmetic and Dynamics

Read More  

Growth regulation (2019)

The wide-spread bacterial toxin delivery systems and their role in multicellularity

Read More  

E-DIRECT (2020)

Evolution of Direct Reciprocity in Complex Environments

Read More