Project/scholarship details

  • Funder

    FCT - Fundação para a Ciência e a Tecnologia, I.P.

  • Funder's country

    Portugal

  • Funding program

    5876-PPCDTI

  • Funding amount

    116,000.00 €

  • Start date

    2010-03-15

  • End date

    2013-06-14

Documents

go first page go previous page
go to page: 1
go next page go last page
rss feed search results

Assertion-based slicing and slice graphs

Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa

© 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.; This paper revisits the idea ...

Date: 2010   |   Origin: RepositóriUM - Universidade do Minho
More info.

Testing as a certification approach

Simões, Alberto; Carvalho, Nuno; Almeida, J. J.

For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely true and, fortunately, open-source projects soon adopted some good practices in their code development that lead to better tested software and therefore higher quality products. In this article we provide a guided tour of some of the be...

Date: 2010   |   Origin: RepositóriUM - Universidade do Minho
More info.

GUI inspection from source code analysis

Silva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Mode...

Date: 2010   |   Origin: RepositóriUM - Universidade do Minho
More info.

Towards rigorous analysis of open source software

Barbosa, L. S.; Henriques, Pedro Rangel; Sanchez, Alejandro

Workshop proceedings with local publication by the University of Oslo; This paper discusses the (often hidden) potential of Open Source Software development to resort to, benefit from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verification methods in the Open Source Software li...

Date: 2011   |   Origin: RepositóriUM - Universidade do Minho
More info.

Verification conditions for source-level imperative programs

Frade, M. J.; Pinto, Jorge Sousa

This paper is a systematic study of verification conditions and their use in the context of program verification. We take Hoare logic as a starting point and study in detail how a verification conditions generator can be obtained from it. The notion of program annotation is essential in this process. Weakest preconditions and the use of updates are also studied as alternative approaches to verification conditions. ...

Date: 2011   |   Origin: RepositóriUM - Universidade do Minho
More info.

Assertion-based slicing and slice graphs

Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa

This paper revisits the idea of slicing programs based on their axiomatic semantics, rather than using criteria based on control/data dependencies. We show how the forward propagation of preconditions and the backward propagation of postconditions can be combined in a new slicing algorithm that is more precise than the existing specification-based algorithms. The algorithm is based on (i) a precise test for rem...

Date: 2012   |   Origin: RepositóriUM - Universidade do Minho
More info.

Bounded Model Checking de programas imperativos

Pereira, José João Peixoto

Dissertação de mestrado em Matemática e Computação; A detecção de erros em sistemas computacionais, em particular em sistemas críticos, é uma tarefa fundamental para garantir o correcto funcionamento dos sistemas e, por este motivo, a verificação formal é um elemento primordial no desenvolvimento de sistemas computacionais. Muitas das técnicas de verificação formal de sistemas computacionais são baseadas em Mod...

Date: 2013   |   Origin: RepositóriUM - Universidade do Minho
More info.

An ontology toolkit for problem domain concept location in program comprehension

Carvalho, Nuno Alexandre Ramos

The MAP Doctoral Program in Computer Science of the Universities of Minho, Aveiro and Porto; Software maintainers are often challenged with source code changes in unfamiliar pro- grams to improve software systems, e.g., eliminating defects, introducing new features, adapting to reality shifts. To undertake these tasks a sufficient understanding of the sys- tem (or at least a part of it) is required. One ofthe m...

Date: 2015   |   Origin: RepositóriUM - Universidade do Minho
More info.
go first page go previous page
go to page: 1
go next page go last page
rss feed search results

Report

Create a report with all publications from the project or scholarship in the current date for FCT scientific report.


Embed

Dynamically incorporate publications in your site (HTML) 

								
<script type="text/javascript">
	<!--
	document.write('<div id="rcaap-widget"></div>');

	document.write('<script type="text/javascript" src="https://www.rcaap.pt/snippet?resource=documents&project=FCT%2F5876-PPCDTI%2F108995&fields=id,titles,creators,issueDate,link,descriptions"></script>');
	-->
</script>