2 Search Results for "Tettamanzi, Andrea"

Document
DOI: 10.4230/DagSemProc.08351.4
Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation

Authors: Andrea G. B. Tettamanzi

Published in: Dagstuhl Seminar Proceedings, Volume 8351, Evolutionary Test Generation (2009)

Abstract
The test case generation problem can be stated as an optimization problem whereby the closeness of test cases to violating the postcondition of a formal specification is maximized, subject to satisfying its precondition. This is usually implemented by constructing an objective function which provides a real-valued estimate of how distant all of the constraints are from being violated, and then trying to minimize it. A problem with this approach is that such objective functions may contain plateaux, which make their minimization hard. We propose a similar approach, grounded on fuzzy logic, which uses, instead of a "distance from violation" objective function, a fuzzy degree of proximity to postcondition violation and produces plateaux-free objective functions by construction. The approach is illustrated with the help of a case study on the functional (black-box) testing of computer programs.
Cite as

Andrea G. B. Tettamanzi. Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation. In Evolutionary Test Generation. Dagstuhl Seminar Proceedings, Volume 8351, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{tettamanzi:DagSemProc.08351.4,
  author =	{Tettamanzi, Andrea G. B.},
  title =	{{Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.4},
  URN =		{urn:nbn:de:0030-drops-20165},
  doi =		{10.4230/DagSemProc.08351.4},
  annote =	{Keywords: Functional testing, fuzzy logic, objective function}
}
Document
DOI: 10.4230/DagSemProc.07122.9
Choosing Your Beliefs

Authors: Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent's goals play a role in the choice of (possibly) one of the several available revision options. Properties of the new belief revision mechanism are also investigated.
Cite as

Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre. Choosing Your Beliefs. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.07122.9,
  author =	{Boella, Guido and da Costa Pereira, C\'{e}lia and Pigozzi, Gabriella and Tettamanzi, Andrea and van der Torre, Leendert},
  title =	{{Choosing Your Beliefs}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.9},
  URN =		{urn:nbn:de:0030-drops-9386},
  doi =		{10.4230/DagSemProc.07122.9},
  annote =	{Keywords: Rational agents, indeterministic belief revision, qualitative decision theory}
}
  • Refine by Author
  • 1 Boella, Guido
  • 1 Pigozzi, Gabriella
  • 1 Tettamanzi, Andrea
  • 1 Tettamanzi, Andrea G. B.
  • 1 da Costa Pereira, Célia
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Functional testing
  • 1 Rational agents
  • 1 fuzzy logic
  • 1 indeterministic belief revision
  • 1 objective function
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2007
  • 1 2009

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact