Difference: PublicationsCInBTC (1 vs. 17)

Revision 172010-03-18 - LaisNeves

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 793 to 793
  Federal University of Pernambuco, January
Changed:
<
<
2010
>
>
2010 [PDF]
 

 

Line: 1098 to 1098
 
META FILEATTACHMENT attachment="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" attr="h" comment="" date="1260553759" name="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" path="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" size="370958" stream="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" tmpFilename="/var/tmp/CGItemp36457" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Dissertacao_Mestrado_Lucas_Lima.pdf" attr="h" comment="Lucas Lima Master Dissertation" date="1266580630" name="Dissertacao_Mestrado_Lucas_Lima.pdf" path="Dissertacao_Mestrado_Lucas_Lima.pdf" size="1681326" stream="Dissertacao_Mestrado_Lucas_Lima.pdf" tmpFilename="/var/tmp/CGItemp5511" user="LaisNeves" version="1"
META FILEATTACHMENT attachment="Dissertacao_Makelli_Juca2.pdf" attr="h" comment="Dissertação Mestrado Makelli Jucá" date="1267542629" name="Dissertacao_Makelli_Juca2.pdf" path="Dissertacao_Makelli_Juca2.pdf" size="7463314" stream="Dissertacao_Makelli_Juca2.pdf" tmpFilename="/var/tmp/CGItemp10782" user="LaisNeves" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Dissertacao_Mestrado_Leopoldo_Teixeira.pdf" attr="h" comment="Dissertacao_Mestrado_Leopoldo_Teixeira" date="1268941425" name="Dissertacao_Mestrado_Leopoldo_Teixeira.pdf" path="Dissertacao_Mestrado_Leopoldo_Teixeira.pdf" size="5251417" stream="Dissertacao_Mestrado_Leopoldo_Teixeira.pdf" tmpFilename="/var/tmp/CGItemp59285" user="LaisNeves" version="1"

Revision 162010-03-12 - SidneyNogueira

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 28 to 29
 

Added:
>
>
SAMPAIO, A. C. A. ; Sidney Nogueira ; Alexandre Cabral Mota . Compositional Verification of Input Output Conformance via CSP Refinement Checking . In: ICFEM - International Conference on Formal Engineering Methods, 2009 , Rio de Janeiro. International Conference on Formal Engineering Methods. Berlin : Springer Verlag - Lecture Notes in Computer Science, 2009.

  Cristiano Bertolini and Alexandre Mota. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009). November 23-27, 2009, Hanoi, Vietnam.

Revision 152010-03-02 - LaisNeves

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 802 to 802
  Federal University of Campina Grande, May
Changed:
<
<
2009 (portuguese)
>
>
2009 [PDF] (portuguese)
 

Line: 1089 to 1091
 
META FILEATTACHMENT attachment="Dissertacao-Leonardo-Lima-final.pdf" attr="h" comment="This dissertation was developed by Leonardo Lima, and advised by Flávia Barros. This document presents the Class-Test, a tool designed to assist professionals in creating long test suites. In general, each test suite must contain a number of test cases of each type (e.g., Negative tests, Boundary tests, Interaction tests, etc.). This number is determined by test engineers/test designers of the company. One of the main problems faced by testers to create these suites is the time spent on manual classification of the tests pre-selected to compose large suites (around 1,000 tests, for example). The Class-Test is a tool for automatic classification of cases of test, which aims to reduce the effort and time spent in the manual classification of tests. The tool was built based on machine-learning techniques, particularly in the area of text classification. Three classifiers were built using a corpus composed by 879 tests cases, with 191 Boundary test cases, 338 Negative test cases, and 350 Interaction test cases. Each classifier is specialized in only one of these three types of tests. It was necessary to create three classifiers because some test cases can be linked to more than one class at the same time. Two case studies were accomplished. The first case study aimed to evaluate, among the four learning algorithms selected, which one would show better accuracy for the corpus in question (the algorithm SVM - Support Vector Machine showed better performance in this study). The second case study aimed to compare the accuracy of automatic classification versus the classification manual. This work is part of the Test Research Project of CIn-BTC, which is being developed in partnership between CIn-UFPE and Motorola. The general purpose of this project is to automate the generation, selection and evaluation of test cases for mobile applications." date="1242828666" name="Dissertacao-Leonardo-Lima-final.pdf" path="Dissertacao-Leonardo-Lima-final.pdf" size="484997" stream="Dissertacao-Leonardo-Lima-final.pdf" tmpFilename="/var/tmp/CGItemp53319" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" attr="h" comment="" date="1260553759" name="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" path="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" size="370958" stream="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" tmpFilename="/var/tmp/CGItemp36457" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Dissertacao_Mestrado_Lucas_Lima.pdf" attr="h" comment="Lucas Lima Master Dissertation" date="1266580630" name="Dissertacao_Mestrado_Lucas_Lima.pdf" path="Dissertacao_Mestrado_Lucas_Lima.pdf" size="1681326" stream="Dissertacao_Mestrado_Lucas_Lima.pdf" tmpFilename="/var/tmp/CGItemp5511" user="LaisNeves" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Dissertacao_Makelli_Juca2.pdf" attr="h" comment="Dissertação Mestrado Makelli Jucá" date="1267542629" name="Dissertacao_Makelli_Juca2.pdf" path="Dissertacao_Makelli_Juca2.pdf" size="7463314" stream="Dissertacao_Makelli_Juca2.pdf" tmpFilename="/var/tmp/CGItemp10782" user="LaisNeves" version="1"

Revision 142010-02-19 - LaisNeves

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 794 to 794
  Federal University of Pernambuco, August
Changed:
<
<
2009
>
>
2009 [PDF]
 

Makelli Jucá.

Line: 1086 to 1088
 
META FILEATTACHMENT attachment="dissertacao_GlauciaPeres.pdf" attr="h" comment="This dissertation was developed by Glaucia Peres, advised by Alexandre Mota and co-advised by Marcelo D'Amorim. Despite the technological advances in languages and tools to support systems development, programmers still deliver software with errors. Several techniques have been proposed to this end – to improve software reliability. Testing is one of them. In fact, software testing is the dominant approach in industry to assure software quality. One way of testing a system is to run it until an incorrect behaviour happens – crash – and so expose a defect. But testing is not cheap. In a typical commercial development organization, the cost of testing, debugging, and verification activities can easily range from 50%25to 75%25of the total development cost [43]. Automation of software testing then becomes a very important mean to reduce this cost. The objective of this work is to propose a black-box testing technique – the Atoms Framework (AF) – to help the detection of crashes. AF is based on automated test scenarios, i.e. sequences of executable steps that have been manually written. We also conducted a set of experiments on cellular phones to check the effectiveness of AF with respect to its capability to find crashes." date="1242828488" name="dissertacao_GlauciaPeres.pdf" path="dissertacao_GlauciaPeres.pdf" size="978796" stream="dissertacao_GlauciaPeres.pdf" tmpFilename="/var/tmp/CGItemp53598" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Dissertacao-Leonardo-Lima-final.pdf" attr="h" comment="This dissertation was developed by Leonardo Lima, and advised by Flávia Barros. This document presents the Class-Test, a tool designed to assist professionals in creating long test suites. In general, each test suite must contain a number of test cases of each type (e.g., Negative tests, Boundary tests, Interaction tests, etc.). This number is determined by test engineers/test designers of the company. One of the main problems faced by testers to create these suites is the time spent on manual classification of the tests pre-selected to compose large suites (around 1,000 tests, for example). The Class-Test is a tool for automatic classification of cases of test, which aims to reduce the effort and time spent in the manual classification of tests. The tool was built based on machine-learning techniques, particularly in the area of text classification. Three classifiers were built using a corpus composed by 879 tests cases, with 191 Boundary test cases, 338 Negative test cases, and 350 Interaction test cases. Each classifier is specialized in only one of these three types of tests. It was necessary to create three classifiers because some test cases can be linked to more than one class at the same time. Two case studies were accomplished. The first case study aimed to evaluate, among the four learning algorithms selected, which one would show better accuracy for the corpus in question (the algorithm SVM - Support Vector Machine showed better performance in this study). The second case study aimed to compare the accuracy of automatic classification versus the classification manual. This work is part of the Test Research Project of CIn-BTC, which is being developed in partnership between CIn-UFPE and Motorola. The general purpose of this project is to automate the generation, selection and evaluation of test cases for mobile applications." date="1242828666" name="Dissertacao-Leonardo-Lima-final.pdf" path="Dissertacao-Leonardo-Lima-final.pdf" size="484997" stream="Dissertacao-Leonardo-Lima-final.pdf" tmpFilename="/var/tmp/CGItemp53319" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" attr="h" comment="" date="1260553759" name="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" path="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" size="370958" stream="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" tmpFilename="/var/tmp/CGItemp36457" user="EricaHori" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Dissertacao_Mestrado_Lucas_Lima.pdf" attr="h" comment="Lucas Lima Master Dissertation" date="1266580630" name="Dissertacao_Mestrado_Lucas_Lima.pdf" path="Dissertacao_Mestrado_Lucas_Lima.pdf" size="1681326" stream="Dissertacao_Mestrado_Lucas_Lima.pdf" tmpFilename="/var/tmp/CGItemp5511" user="LaisNeves" version="1"

Revision 132010-02-18 - LaisNeves

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 8 to 8
   

Changed:
<
<
2009
>
>
2010



Cristiano Bertolini, Alexandre Mota, Eduardo Aranha and Cristiano Ferraz. GUI Testing Techniques Evaluation by Designed Experiments. Third International Conference on Software Testing, Verification and Validation (ICST2010). April 6-10, Paris, France, 2010.



2009


 

Line: 760 to 776
 

 

Added:
>
>
2010

Leopoldo Texeira. Verification and Refactoring of Configuration Knowledge for Software Product Lines. Federal University of Pernambuco, January 2010

 

  2009

Added:
>
>

Lucas Lima. Test Case Prioritization Based on Data Reuse for Black-box Environments. Federal University of Pernambuco, August 2009

 

Makelli Jucá. Uma estratégia para a escrita de cenários de casos de uso voltados à geração automática de casos de teste Federal University of

Changed:
<
<
Pernambuco, May
>
>
Campina Grande, May
  2009 (portuguese)

Revision 122009-12-11 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 29 to 29
 

Juliana Mafra, Breno Miranda, Juliano Iyoda and Augusto Sampaio.. Test Case Selector: Uma Ferramenta para Seleção de Testes.

Changed:
<
<
In: Brazilian Workshop on Systematic and Automated Software Testing. August, 2009, Gramado, RS, Brazil

>
>
In: Brazilian Workshop on Systematic and Automated Software Testing. August, 2009, Gramado, RS, Brazil [PDF] 

 

Emanuela Gadelha, Patricia Machado and Francisco Neto.

Line: 1049 to 1049
 
META FILEATTACHMENT attachment="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" attr="h" comment="This thesis was developed by Eduardo Aranha, and advised by Paulo Borba. This research aims to propose test execution effort estimation models that regard the test size and execution complexity measured from the test specification. For that, we identified risk factors related to test projects. Also, we aim to calibrate and evaluate the proposed estimation models through empirical studies on the mobile application domain." date="1242762753" name="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" path="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" size="5236135" stream="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" tmpFilename="/var/tmp/CGItemp53776" user="EricaHori" version="1"
META FILEATTACHMENT attachment="dissertacao_GlauciaPeres.pdf" attr="h" comment="This dissertation was developed by Glaucia Peres, advised by Alexandre Mota and co-advised by Marcelo D'Amorim. Despite the technological advances in languages and tools to support systems development, programmers still deliver software with errors. Several techniques have been proposed to this end – to improve software reliability. Testing is one of them. In fact, software testing is the dominant approach in industry to assure software quality. One way of testing a system is to run it until an incorrect behaviour happens – crash – and so expose a defect. But testing is not cheap. In a typical commercial development organization, the cost of testing, debugging, and verification activities can easily range from 50%25to 75%25of the total development cost [43]. Automation of software testing then becomes a very important mean to reduce this cost. The objective of this work is to propose a black-box testing technique – the Atoms Framework (AF) – to help the detection of crashes. AF is based on automated test scenarios, i.e. sequences of executable steps that have been manually written. We also conducted a set of experiments on cellular phones to check the effectiveness of AF with respect to its capability to find crashes." date="1242828488" name="dissertacao_GlauciaPeres.pdf" path="dissertacao_GlauciaPeres.pdf" size="978796" stream="dissertacao_GlauciaPeres.pdf" tmpFilename="/var/tmp/CGItemp53598" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Dissertacao-Leonardo-Lima-final.pdf" attr="h" comment="This dissertation was developed by Leonardo Lima, and advised by Flávia Barros. This document presents the Class-Test, a tool designed to assist professionals in creating long test suites. In general, each test suite must contain a number of test cases of each type (e.g., Negative tests, Boundary tests, Interaction tests, etc.). This number is determined by test engineers/test designers of the company. One of the main problems faced by testers to create these suites is the time spent on manual classification of the tests pre-selected to compose large suites (around 1,000 tests, for example). The Class-Test is a tool for automatic classification of cases of test, which aims to reduce the effort and time spent in the manual classification of tests. The tool was built based on machine-learning techniques, particularly in the area of text classification. Three classifiers were built using a corpus composed by 879 tests cases, with 191 Boundary test cases, 338 Negative test cases, and 350 Interaction test cases. Each classifier is specialized in only one of these three types of tests. It was necessary to create three classifiers because some test cases can be linked to more than one class at the same time. Two case studies were accomplished. The first case study aimed to evaluate, among the four learning algorithms selected, which one would show better accuracy for the corpus in question (the algorithm SVM - Support Vector Machine showed better performance in this study). The second case study aimed to compare the accuracy of automatic classification versus the classification manual. This work is part of the Test Research Project of CIn-BTC, which is being developed in partnership between CIn-UFPE and Motorola. The general purpose of this project is to automate the generation, selection and evaluation of test cases for mobile applications." date="1242828666" name="Dissertacao-Leonardo-Lima-final.pdf" path="Dissertacao-Leonardo-Lima-final.pdf" size="484997" stream="Dissertacao-Leonardo-Lima-final.pdf" tmpFilename="/var/tmp/CGItemp53319" user="EricaHori" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" attr="h" comment="" date="1260553759" name="Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf" path="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" size="370958" stream="Test Case Selector Uma Ferramenta para Seleção de Testes.pdf" tmpFilename="/var/tmp/CGItemp36457" user="EricaHori" version="1"

Revision 112009-12-04 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 22 to 22
  Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio. Test Case Prioritization based on Data Reuse: An Experimental Study. In the Proceedings of the 3rd International Symposium on Empirical Software
Changed:
<
<
Engineering and Measurement (ESEM 2009). October 15-16, Lake Buena Vista,
>
>
Engineering and Measurement (ESEM 2009). October 15-16, 2009, Lake Buena Vista,
  Florida, USA.

Added:
>
>
Juliana Mafra, Breno Miranda, Juliano Iyoda and Augusto Sampaio.. Test Case Selector: Uma Ferramenta para Seleção de Testes. In: Brazilian Workshop on Systematic and Automated Software Testing. August, 2009, Gramado, RS, Brazil

  Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. Wiley, May, 2009.

Revision 102009-12-04 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 17 to 17
  7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009). November 23-27, 2009, Hanoi, Vietnam.

Deleted:
<
<

Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. Wiley, May, 2009.

 

Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio.

Line: 32 to 26
  Florida, USA.

Changed:
<
<
Emanuela Gadelha, Patrícia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. May , 2009  

>
>

Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. Wiley, May, 2009.

 

Revision 92009-09-17 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 760 to 760
 

2009

Added:
>
>

Makelli Jucá. Uma estratégia para a escrita de cenários de casos de uso voltados à geração automática de casos de teste Federal University of Pernambuco, May 2009 (portuguese)

 

Leonardo Lima. Class-Test: Classificação automática de testes para auxílio à criação de suítes de teste Federal

Revision 82009-08-21 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 20 to 20
 

Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing.

Changed:
<
<
Software Testing, Verification and Reliability Jornal. May, 2009.
>
>
Software Testing, Verification and Reliability Journal. Wiley, May, 2009.
 

Revision 72009-07-31 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 12 to 12
 

Added:
>
>
Cristiano Bertolini and Alexandre Mota. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009). November 23-27, 2009, Hanoi, Vietnam.

Emanuela Gadelha, Patricia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Jornal. May, 2009.

  Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio. Test Case Prioritization based on Data Reuse: An Experimental Study. In the Proceedings of the 3rd International Symposium on Empirical Software

Revision 62009-06-08 - JulianoIyoda

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Deleted:
<
<
In what follows you find the complete list of thesis and papers published so far.
 
Line: 11 to 10
 

2009

Added:
>
>

Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio. Test Case Prioritization based on Data Reuse: An Experimental Study. In the Proceedings of the 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). October 15-16, Lake Buena Vista, Florida, USA.

  Emanuela Gadelha, Patrícia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. May , 2009  

Revision 52009-05-20 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 11 to 11
 

2009

Changed:
<
<
Rodrigo
>
>
Emanuela Gadelha, Patrícia Machado and Francisco Neto. On the Use of a Similarity Function for Test Case Selection in the Context of Model-Based Testing. Software Testing, Verification and Reliability Journal. May , 2009  

Rodrigo

  Bonifácio and Paulo Borba. Modeling Scenario
Line: 728 to 736
 

 

Added:
>
>

2009

Leonardo Lima. Class-Test: Classificação automática de testes para auxílio à criação de suítes de teste Federal University of Pernambuco, April 2009 [PDF] (portuguese)

Glaucia Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios Federal University of Pernambuco, February 2009 [PDF]

 

 

2008

Davi Gadelha.

Line: 774 to 801
  February 2008  [PDF]

Added:
>
>

 

 

2007

Euclides N.

Line: 932 to 960
  Pernambuco, January 2009 [PDF]

Added:
>
>

 

 

 
META FILEATTACHMENT attachment="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" attr="h" comment="Paper presented at the 8th International Conference on Aspect-Oriented Software Development. Access at http://aosd.net/2009/." date="1242305065" name="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" path="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" size="231632" stream="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" tmpFilename="/var/tmp/CGItemp54756" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" attr="h" comment="Paper presented at the 13th European Conference on Software Maintenance and Reengineering (CSMR 2009). Access at http://csmr2009.iese.fraunhofer.de." date="1242305103" name="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" path="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" size="211541" stream="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" tmpFilename="/var/tmp/CGItemp54574" user="EricaHori" version="1"
Line: 944 to 974
 
META FILEATTACHMENT attachment="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" attr="h" comment="Paper presented at the 5th Experimental Software Engineering Latin American (ESELAW 2008). Access at http://web.unifacs.br/eselaw" date="1242306141" name="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" path="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" size="363784" stream="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" tmpFilename="/var/tmp/CGItemp54595" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" attr="h" comment="Paper presented at the 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=44&Itemid=70" date="1242306570" name="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" path="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" size="378261" stream="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" tmpFilename="/var/tmp/CGItemp54743" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Multiple_Synchrony_in_MSC.pdf" attr="h" comment="Paper presented at the Brazilian Symposium on Formal Methods (SBMF 2008). Access at http://www.lasid.ufba.br/sbmf2008/" date="1242306705" name="Multiple_Synchrony_in_MSC.pdf" path="Multiple_Synchrony_in_MSC.pdf" size="132962" stream="Multiple_Synchrony_in_MSC.pdf" tmpFilename="/var/tmp/CGItemp54742" user="EricaHori" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" attr="" comment="Paper presented at the Early Aspects Workshop. Co-located with the Seventh International Conference on Aspect-Oriented Software Development. Access at http://www.aosd.net/2008/program/workshops.php#EA." date="1242307039" name="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" path="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" size="308338" stream="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" tmpFilename="/var/tmp/CGItemp54813" user="EricaHori" version="1"
>
>
META FILEATTACHMENT attachment="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" attr="h" comment="Paper presented at the Early Aspects Workshop. Co-located with the Seventh International Conference on Aspect-Oriented Software Development. Access at http://www.aosd.net/2008/program/workshops.php#EA." date="1242307039" name="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" path="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" size="308338" stream="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" tmpFilename="/var/tmp/CGItemp54813" user="EricaHori" version="1"
 
META FILEATTACHMENT attachment="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" attr="h" comment="Paper presented at the 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=44&Itemid=70" date="1242307174" name="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" path="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" size="808268" stream="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" tmpFilename="/var/tmp/CGItemp54693" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" attr="h" comment="Paper presented at the SPLC Doctoral Symposium. Access at http://www.lero.ie/SPLC2008/CallforSubmissions/DoctoralSymposium.html" date="1242307755" name="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" path="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" size="156530" stream="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" tmpFilename="/var/tmp/CGItemp54678" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Unifying_Models_of_Test_Cases_and_Requirements.pdf" attr="h" comment="Paper presented at the 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008). Access at http://www.dsc.upe.br/~ideas2008/" date="1242307814" name="Unifying_Models_of_Test_Cases_and_Requirements.pdf" path="Unifying_Models_of_Test_Cases_and_Requirements.pdf" size="303200" stream="Unifying_Models_of_Test_Cases_and_Requirements.pdf" tmpFilename="/var/tmp/CGItemp54689" user="EricaHori" version="1"
Line: 986 to 1016
 
META FILEATTACHMENT attachment="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" attr="h" comment="This dissertation was developed by Márcio Medeiros, and advised by Paulo Borba. This work presents a decision model for recommending mechanisms such as Inheritance, Aspect-Oriented Programming, Mixins, and Configuration Files to restructure test variabilities in Software Product Lines. The model aims at suggesting better mechanisms to restructure a given test if-else variability to achieve modularity. Additionally, we show a prototype tool to support developers when evolving variabilities in SPLs. It can suggest mechanisms according to the proposed decision model faster and precisely." date="1242761694" name="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" path="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" size="1521014" stream="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" tmpFilename="/var/tmp/CGItemp53756" user="EricaHori" version="1"
META FILEATTACHMENT attachment="SpecNL_-_Uma_Ferramenta_para_Gerar_Descries_em_Linguagem_Natural_a_partir_de_Especificaes_de_Casos_de_Teste.pdf" attr="h" comment="This dissertation was developed by Dante Torres, and advised by Flávia Barros. This work proposes a tool to generate natural language descriptions from test case scripts, intending to help the test engineers in the manual test cases execution. In order to validate the proposed tool, we developed a prototype that receives as input test case scripts specified in CSP formal language. As output, the tool delivers a text in English, describing the test case steps. It is part of a major project developed in a partnership between the CIn-UFPE and Motorola." date="1242761712" name="SpecNL_-_Uma_Ferramenta_para_Gerar_Descries_em_Linguagem_Natural_a_partir_de_Especificaes_de_Casos_de_Teste.pdf" path="SpecNL_-_Uma_Ferramenta_para_Gerar_Descrições_em_Linguagem_Natural_a_partir_de_Especificações_de_Casos_de_Teste.pdf" size="892943" stream="SpecNL_-_Uma_Ferramenta_para_Gerar_Descrições_em_Linguagem_Natural_a_partir_de_Especificações_de_Casos_de_Teste.pdf" tmpFilename="/var/tmp/CGItemp53519" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" attr="h" comment="This thesis was developed by Eduardo Aranha, and advised by Paulo Borba. This research aims to propose test execution effort estimation models that regard the test size and execution complexity measured from the test specification. For that, we identified risk factors related to test projects. Also, we aim to calibrate and evaluate the proposed estimation models through empirical studies on the mobile application domain." date="1242762753" name="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" path="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" size="5236135" stream="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" tmpFilename="/var/tmp/CGItemp53776" user="EricaHori" version="1"
Added:
>
>
META FILEATTACHMENT attachment="dissertacao_GlauciaPeres.pdf" attr="h" comment="This dissertation was developed by Glaucia Peres, advised by Alexandre Mota and co-advised by Marcelo D'Amorim. Despite the technological advances in languages and tools to support systems development, programmers still deliver software with errors. Several techniques have been proposed to this end – to improve software reliability. Testing is one of them. In fact, software testing is the dominant approach in industry to assure software quality. One way of testing a system is to run it until an incorrect behaviour happens – crash – and so expose a defect. But testing is not cheap. In a typical commercial development organization, the cost of testing, debugging, and verification activities can easily range from 50%25to 75%25of the total development cost [43]. Automation of software testing then becomes a very important mean to reduce this cost. The objective of this work is to propose a black-box testing technique – the Atoms Framework (AF) – to help the detection of crashes. AF is based on automated test scenarios, i.e. sequences of executable steps that have been manually written. We also conducted a set of experiments on cellular phones to check the effectiveness of AF with respect to its capability to find crashes." date="1242828488" name="dissertacao_GlauciaPeres.pdf" path="dissertacao_GlauciaPeres.pdf" size="978796" stream="dissertacao_GlauciaPeres.pdf" tmpFilename="/var/tmp/CGItemp53598" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Dissertacao-Leonardo-Lima-final.pdf" attr="h" comment="This dissertation was developed by Leonardo Lima, and advised by Flávia Barros. This document presents the Class-Test, a tool designed to assist professionals in creating long test suites. In general, each test suite must contain a number of test cases of each type (e.g., Negative tests, Boundary tests, Interaction tests, etc.). This number is determined by test engineers/test designers of the company. One of the main problems faced by testers to create these suites is the time spent on manual classification of the tests pre-selected to compose large suites (around 1,000 tests, for example). The Class-Test is a tool for automatic classification of cases of test, which aims to reduce the effort and time spent in the manual classification of tests. The tool was built based on machine-learning techniques, particularly in the area of text classification. Three classifiers were built using a corpus composed by 879 tests cases, with 191 Boundary test cases, 338 Negative test cases, and 350 Interaction test cases. Each classifier is specialized in only one of these three types of tests. It was necessary to create three classifiers because some test cases can be linked to more than one class at the same time. Two case studies were accomplished. The first case study aimed to evaluate, among the four learning algorithms selected, which one would show better accuracy for the corpus in question (the algorithm SVM - Support Vector Machine showed better performance in this study). The second case study aimed to compare the accuracy of automatic classification versus the classification manual. This work is part of the Test Research Project of CIn-BTC, which is being developed in partnership between CIn-UFPE and Motorola. The general purpose of this project is to automate the generation, selection and evaluation of test cases for mobile applications." date="1242828666" name="Dissertacao-Leonardo-Lima-final.pdf" path="Dissertacao-Leonardo-Lima-final.pdf" size="484997" stream="Dissertacao-Leonardo-Lima-final.pdf" tmpFilename="/var/tmp/CGItemp53319" user="EricaHori" version="1"

Revision 42009-05-19 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 540 to 540
  SBTS – Simpósio Brasileiro de Testes de
Changed:
<
<
Software [DOC]
>
>
Software [DOC]
  (portuguese)

Flávia Barros, Dante

Line: 568 to 568
  AUT Technology Park, Auckland, New Zealand.
Changed:
<
<
[PDF]
>
>
[PDF]
 

Figueiredo, André; Patrícia, Machado; Andrade, Wilkerson. Generating Integration Test Cases for Mobile Phone Systems from Use Case Specifications. 2nd Workshop on Advances in Model-based Software Testing (A-Most'06) in the 17th IEEE International Symposium on Software Reliability Engineering. November 7, 2006, Raleigh, North Carolina, USA

Changed:
<
<
[PDF]
>
>
[PDF]
 

Eduardo Aranha, Paulo Borba and José

Line: 590 to 590
  November 2006 - Raleigh, North Carolina, USA.
Changed:
<
<
[DOC]
>
>
[DOC]
 

Eduardo Aranha and Paulo Borba. Measuring

Line: 622 to 622
  2006). 17 - 23 September, 2006. Natal, RN,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

Gustavo Cabral and Augusto

Line: 637 to 637
  2006). 17 - 23 September, 2006. Natal, RN,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

Eduardo Aranha and Paulo Borba. Considering

Line: 670 to 670
  Internal Tools Fair. September 12, 2006, Itasca,
Changed:
<
<
Illinois. [DOC]

>
>
Illinois. [DOC]

 

Elifrancis Soares and Alexandre

Line: 691 to 691
  2006), 31 de maio de 2006 - Vila Velha -
Changed:
<
<
ES. [PDF]
>
>
ES. [PDF]
  (portuguese)

Augusto Sampaio. Test

Line: 735 to 735
  Federal University of Pernambuco, July
Changed:
<
<
2008 [PDF] (portuguese)
>
>
2008 [PDF] (portuguese)
 

João dos Prazeres. NLScripts:

Line: 751 to 751
  University of Pernambuco,
Changed:
<
<
June 2008 [PDF]
>
>
June 2008 [PDF]
  (portuguese)

Laísa Nascimento. Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas.

Line: 761 to 761
  University of Campina Grande, February
Changed:
<
<
2008  [PDF]
>
>
2008  [PDF]
  (portuguese) 

Line: 771 to 771
  University of Pernambuco,
Changed:
<
<
February 2008  [PDF]
>
>
February 2008  [PDF]
 

Line: 788 to 788
  University of Pernambuco
Changed:
<
<
, Agosto 2007  [PDF]
>
>
, Agosto 2007  [PDF]
  (portuguese) 

Line: 804 to 804
  University of Pernambuco
Changed:
<
<
, May 2007  [PDF]
>
>
, May 2007  [PDF]
  (portuguese) 

Line: 821 to 821
  University of Pernambuco,
Changed:
<
<
May 2007  [PDF]
>
>
May 2007  [PDF]
 

Wilkerson Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares. Federal University

Changed:
<
<
of Campina Grande, March 2007  [PDF]
>
>
of Campina Grande, March 2007  [PDF]
  (portuguese)

Line: 848 to 848
  w:st="on"> Campina Grande
Changed:
<
<
, October 2006  [PDF]
>
>
, October 2006  [PDF]
  (portuguese) 

Sidney Nogueira. Geração Automática de Casos de Teste CSP Orientada por Propósitos.

Line: 857 to 857
  University of Pernambuco, September
Changed:
<
<
2006  [PDF]
>
>
2006  [PDF]
  (portuguese)

Dante

Line: 867 to 867
  University of Pernambuco,
Changed:
<
<
September 2006  [PDF]
>
>
September 2006  [PDF]
  (portuguese)

Daniel

Line: 877 to 877
  University of Pernambuco,
Changed:
<
<
September 2006  [PDF]
>
>
September 2006  [PDF]
  (portuguese)

Gustavo

Line: 891 to 891
  University of Pernambuco,
Changed:
<
<
September 2006  [PDF]
>
>
September 2006  [PDF]
 

Patrícia Muniz.

Line: 901 to 901
  University of Pernambuco,
Changed:
<
<
September 2006  [PDF]
>
>
September 2006  [PDF]
  (portuguese)


Line: 930 to 930
  Specifications. Federal University of Pernambuco,
Changed:
<
<
January 2009 [PDF]
>
>
January 2009 [PDF]
 

META FILEATTACHMENT attachment="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" attr="h" comment="Paper presented at the 8th International Conference on Aspect-Oriented Software Development. Access at http://aosd.net/2009/." date="1242305065" name="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" path="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" size="231632" stream="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" tmpFilename="/var/tmp/CGItemp54756" user="EricaHori" version="1"
Line: 964 to 964
 
META FILEATTACHMENT attachment="Software_Expo_Submission_Form.doc" attr="h" comment="Form submitted to the Software Expo session of Motorola's Innovation Conference. Access at http://my.mot.com/portal/site/innovationconference." date="1242322180" name="Software_Expo_Submission_Form.doc" path="Software_Expo_Submission_Form.doc" size="43008" stream="Software_Expo_Submission_Form.doc" tmpFilename="/var/tmp/CGItemp54662" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" attr="h" comment="Paper presented at the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007). Access at http://www.smc2007.org/." date="1242322212" name="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" path="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" size="226388" stream="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" tmpFilename="/var/tmp/CGItemp54788" user="EricaHori" version="1"
META FILEATTACHMENT attachment="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" attr="h" comment="Paper presented at the First International Workshop on Software Test Evaluation (STEV 2007). Access at http://www.mathematik.uni-ulm.de/sai/mayer/stev07/." date="1242322243" name="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" path="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" size="84267" stream="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" tmpFilename="/var/tmp/CGItemp54618" user="EricaHori" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Adaptando_o_RUP_para_Anlise_de_Cobertura_de_Cdigo.doc" attr="h" comment="Paper presented at the Brazilian Symposium on Software Testing (SBTS 2006)." date="1242757844" name="Adaptando_o_RUP_para_Anlise_de_Cobertura_de_Cdigo.doc" path="Adaptando_o_RUP_para_Análise_de_Cobertura_de_Código.doc" size="7074816" stream="Adaptando_o_RUP_para_Análise_de_Cobertura_de_Código.doc" tmpFilename="/var/tmp/CGItemp53724" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Formal_Specification_Generation_from_Requirement_Documents.pdf" attr="h" comment="This dissertation was developed by Gustavo Fonseca, and advised by Augusto Sampaio. This dissertation defines a strategy that includes use case specification templates and a Controlled Natural Language (CNL) to describe system requirements. The use case templates assure a well-structured requirement document and the CNL guarantees the accuracy of grammar for the text, which defines the system behavior." date="1242760564" name="Formal_Specification_Generation_from_Requirement_Documents.pdf" path="Formal_Specification_Generation_from_Requirement_Documents.pdf" size="1442225" stream="Formal_Specification_Generation_from_Requirement_Documents.pdf" tmpFilename="/var/tmp/CGItemp53647" user="EricaHori" version="2"
META FILEATTACHMENT attachment="Generating_Integration_Test_Cases_for_Mobile_Phone_Systems_from_Use_Case_Specifications.pdf" attr="h" comment="Paper presented at the Second Workshop on Advances in Model-based Software Testing (A-MOST'06). Access at http://www.csc2.ncsu.edu/conferences/issre/workshops/AMOST06/." date="1242759056" name="Generating_Integration_Test_Cases_for_Mobile_Phone_Systems_from_Use_Case_Specifications.pdf" path="Generating_Integration_Test_Cases_for_Mobile_Phone_Systems_from_Use_Case_Specifications.pdf" size="570523" stream="Generating_Integration_Test_Cases_for_Mobile_Phone_Systems_from_Use_Case_Specifications.pdf" tmpFilename="/var/tmp/CGItemp53650" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Internal_Tools_Fair_Submission_Form.doc" attr="h" comment="Form submitted to the Internal Tools Fair Session at the Motorola's S3 Symposium." date="1242759103" name="Internal_Tools_Fair_Submission_Form.doc" path="Internal_Tools_Fair_Submission_Form.doc" size="38400" stream="Internal_Tools_Fair_Submission_Form.doc" tmpFilename="/var/tmp/CGItemp53630" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Model_Simulation_for_Test_Execution_Capacity_Estimation.doc" attr="h" comment="Paper presented at the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). Access at http://www.csc2.ncsu.edu/conferences/issre/." date="1242759148" name="Model_Simulation_for_Test_Execution_Capacity_Estimation.doc" path="Model_Simulation_for_Test_Execution_Capacity_Estimation.doc" size="2422784" stream="Model_Simulation_for_Test_Execution_Capacity_Estimation.doc" tmpFilename="/var/tmp/CGItemp53734" user="EricaHori" version="1"
META FILEATTACHMENT attachment="SpecNL_-_Generating_NL_Descriptions_from_Test_Case_Specifications.pdf" attr="h" comment="Paper presented at the Conference on Hybrid Intelligent Systems 2006. Access at http://www.aut.ac.nz/about/news_and_information/conferences/his_2006_and_ncei_2006/." date="1242759227" name="SpecNL_-_Generating_NL_Descriptions_from_Test_Case_Specifications.pdf" path="SpecNL_-_Generating_NL_Descriptions_from_Test_Case_Specifications.pdf" size="203153" stream="SpecNL_-_Generating_NL_Descriptions_from_Test_Case_Specifications.pdf" tmpFilename="/var/tmp/CGItemp53745" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Um_Processo_de_Anlise_de_Cobertura_alinhado_ao_Processo_de_Desenvolvimento_de_Software_em_Aplicaes_Embarcadas.pdf" attr="h" comment="Paper presented at IV Workshop on Theses and Dissertations on Software Quality (WTDQS 2006). Access at http://www.inf.ufes.br/~sbqs2006/?q=node/13." date="1242759267" name="Um_Processo_de_Anlise_de_Cobertura_alinhado_ao_Processo_de_Desenvolvimento_de_Software_em_Aplicaes_Embarcadas.pdf" path="Um_Processo_de_Análise_de_Cobertura_alinhado_ao_Processo_de_Desenvolvimento_de_Software_em_Aplicações_Embarcadas.pdf" size="393895" stream="Um_Processo_de_Análise_de_Cobertura_alinhado_ao_Processo_de_Desenvolvimento_de_Software_em_Aplicações_Embarcadas.pdf" tmpFilename="/var/tmp/CGItemp53506" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Viewing_CSP_specifications_with_UML-RT_diagrams.pdf" attr="h" comment="Paper presented at the Brazilian Symposium on Formal Methods 2006. Access at http://www.dimap.ufrn.br/sbmf2006/Pages/home.html." date="1242759321" name="Viewing_CSP_specifications_with_UML-RT_diagrams.pdf" path="Viewing_CSP_specifications_with_UML-RT_diagrams.pdf" size="443192" stream="Viewing_CSP_specifications_with_UML-RT_diagrams.pdf" tmpFilename="/var/tmp/CGItemp53664" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Abordagem_para_Gerao_Automtica_de_Cdigo_para_Framework_de_Automao_de_Testes.pdf" attr="h" comment="Inside of Motorola, the test automation is performed by a framework called TAF (Test Automation Framework), which simulates the human interaction with a mobile phone. This framework is also able to capture the state and other important information about the device. Test reuse implementations already defined in TAF to create test scripts, as well as new implementations must be created when the reuse is not possible. Since the developers spend a lot of time to create such implementations, this work intend to create a strategy that, given one test script, generates TAF code automatically considering the functionalities that were not implemented yet." date="1242760123" name="Abordagem_para_Gerao_Automtica_de_Cdigo_para_Framework_de_Automao_de_Testes.pdf" path="Abordagem_para_Geração_Automática_de_Código_para_Framework_de_Automação_de_Testes.pdf" size="1349224" stream="Abordagem_para_Geração_Automática_de_Código_para_Framework_de_Automação_de_Testes.pdf" tmpFilename="/var/tmp/CGItemp53559" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Abordagens_para_Avaliao_Experimental_de_Teste_Baseado_em_Modelos_de_Aplicaes_Reativas.pdf" attr="h" comment="This dissertation was written by Laísa Nascimento, advised by Patrícia Machado. In this work, measurement models based on GQM paradigm are proposed. The purpose is to evaluate the use of MBT without increasing actual testing process costs. The models focus on aspects as effort, testable requirements coverage, modified test cases, failures, among others. The models are not associated with the MBT process presented. They can be applied to any process that allows metrics collection." date="1242760178" name="Abordagens_para_Avaliao_Experimental_de_Teste_Baseado_em_Modelos_de_Aplicaes_Reativas.pdf" path="Abordagens_para_Avaliação_Experimental_de_Teste_Baseado_em_Modelos_de_Aplicações_Reativas.pdf" size="1359531" stream="Abordagens_para_Avaliação_Experimental_de_Teste_Baseado_em_Modelos_de_Aplicações_Reativas.pdf" tmpFilename="/var/tmp/CGItemp53672" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Adaptao_do_Processo_de_Desenvolvimento_de_Software_para_Anlise_de_Cobertura_de_Cdigo.pdf" attr="h" comment="This dissertation was developed by Elifrancis Soares, and advised by Alexandre Vasconcelos. Testing is a very important activity in software development process, but is also very expensive, once it consumes much of the software development process resources. A problem found in the majority of the processes of software development is the absence of a way to evaluate the unit tests executed in the developed code. A possible solution for this problem is to perform code coverage analysis and obtain metrics about set of unit tests executed. This dissertation describes a software development process with code coverage analysis, where we use Rational Unified Process as the basis for the proposed process." date="1242760313" name="Adaptao_do_Processo_de_Desenvolvimento_de_Software_para_Anlise_de_Cobertura_de_Cdigo.pdf" path="Adaptação_do_Processo_de_Desenvolvimento_de_Software_para_Análise_de_Cobertura_de_Código.pdf" size="4425379" stream="Adaptação_do_Processo_de_Desenvolvimento_de_Software_para_Análise_de_Cobertura_de_Código.pdf" tmpFilename="/var/tmp/CGItemp53601" user="EricaHori" version="1"
META FILEATTACHMENT attachment="EvolUniT_-_Gerao_e_Evoluo_de_Testes_de_Unidade_em_Java_utilizando_Algoritmos_Genticos.pdf" attr="h" comment="Not available" date="1242760452" name="EvolUniT_-_Gerao_e_Evoluo_de_Testes_de_Unidade_em_Java_utilizando_Algoritmos_Genticos.pdf" path="EvolUniT_-_Geração_e_Evolução_de_Testes_de_Unidade_em_Java_utilizando_Algoritmos_Genéticos.pdf" size="3275" stream="EvolUniT_-_Geração_e_Evolução_de_Testes_de_Unidade_em_Java_utilizando_Algoritmos_Genéticos.pdf" tmpFilename="/var/tmp/CGItemp53522" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Gerao_Automtica_de_Casos_de_Teste_CSP_Orientada_por_Propsitos.pdf" attr="h" comment="This dissertation was developed by Sidney Nogueira, and advised by Augusto Sampaio. The goal of this work is to introduce a strategy for the automatic generation of sound tests, elaborated entirely from the denotacional semantics of CSP (semantic notation of processes and models). We define a theory of tests based on the Theory of Tests of Tretmans. A commonality between these theories is that the entry and exit actions of the specifications (alphabets), implementations and tests are separate. Additionally, we define a conformity relation called cspioco in terms of processes refinements to determine whether the process which represents the implementation under test satisfies the behavior described by the process of the specification." date="1242760619" name="Gerao_Automtica_de_Casos_de_Teste_CSP_Orientada_por_Propsitos.pdf" path="Geração_Automática_de_Casos_de_Teste_CSP_Orientada_por_Propósitos.pdf" size="1059462" stream="Geração_Automática_de_Casos_de_Teste_CSP_Orientada_por_Propósitos.pdf" tmpFilename="/var/tmp/CGItemp53664" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Gerao_Automtica_de_Diagramas_UML-RT_a_partir_de_Especificaes_CSP.pdf" attr="h" comment="Dissertation by Patricia Ferreira, advised by Augusto Sampaio. This dissertation addresses the definition of a set of compositional rules for systematically mapping CSP specifications into UML-RT models (a UML profile for modelling concurrent and real-time applications)." date="1242760700" name="Gerao_Automtica_de_Diagramas_UML-RT_a_partir_de_Especificaes_CSP.pdf" path="Geração_Automática_de_Diagramas_UML-RT_a_partir_de_Especificações_CSP.pdf" size="2547018" stream="Geração_Automática_de_Diagramas_UML-RT_a_partir_de_Especificações_CSP.pdf" tmpFilename="/var/tmp/CGItemp53810" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Gerao_de_Casos_de_Teste_de_Interao_para_Aplicaes_de_Celulares.pdf" attr="h" comment="This dissertation was written by Wilkerson Andrade, and advised by Patrícia Machado. In this work, we propose a strategy to support the interaction test between features in mobile phone applications. For this, we extended a form used to specify the feature interaction requirements, we develop a procedure to generate the behavioral model from such specification and a test case generation strategy from this model based on test purposes, that aims to extract interaction between features such that the interactions are tested." date="1242760855" name="Gerao_de_Casos_de_Teste_de_Interao_para_Aplicaes_de_Celulares.pdf" path="Geração_de_Casos_de_Teste_de_Interação_para_Aplicações_de_Celulares.pdf" size="2564170" stream="Geração_de_Casos_de_Teste_de_Interação_para_Aplicações_de_Celulares.pdf" tmpFilename="/var/tmp/CGItemp53737" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Gerao_de_Casos_de_Teste_Funcional_para_Aplicaes_de_Celulares.pdf" attr="h" comment="This dissertation was written by Emanuela Gadelha, advised by Patrícia Machado. In this work, it is proposed a systematic procedure to generate functional test cases for features of mobile phones, as well as two strategies to test case selection. Tool suport has been developed to automate the activities of the systematic procedure and selection strategies. Two case studies were performed to demonstrate its application as well as the tool functionality." date="1242760890" name="Gerao_de_Casos_de_Teste_Funcional_para_Aplicaes_de_Celulares.pdf" path="Geração_de_Casos_de_Teste_Funcional_para_Aplicações_de_Celulares.pdf" size="1273725" stream="Geração_de_Casos_de_Teste_Funcional_para_Aplicações_de_Celulares.pdf" tmpFilename="/var/tmp/CGItemp53683" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Modelling_and_Integrating_Formal_Models_-_from_Test_Cases_and_Requirements_Models.pdf" attr="h" comment="This dissertation was developed by Clélio Feitosa, and advised by Alexandre Mota. The purpose of this work is to underlie some MBT approaches used in the context of Motorola (CIn/BTC). In such approaches, the specifications used for generating test cases are usually incomplete, inconsistent, and sometimes they do not exist. Thus, using real system test cases it is possible to create new specifications and update original system specifications, and afterwards generate new test cases with sound behaviours of the system." date="1242760966" name="Modelling_and_Integrating_Formal_Models_-_from_Test_Cases_and_Requirements_Models.pdf" path="Modelling_and_Integrating_Formal_Models_-_from_Test_Cases_and_Requirements_Models.pdf" size="1187006" stream="Modelling_and_Integrating_Formal_Models_-_from_Test_Cases_and_Requirements_Models.pdf" tmpFilename="/var/tmp/CGItemp53655" user="EricaHori" version="1"
META FILEATTACHMENT attachment="NLForSpec_-_Uma_Ferramenta_para_Gerao_de_Especificaes_Formais_a_Partir_de_Casos_de_Teste_em_Linguagem_Natural.pdf" attr="h" comment="This dissertation was written by Daniel Leitão, and advised by Flávia Barros. This work describes the NLForSpec, a Natural Language Processing tool to translate software test cases descriptions in English into a formal representation. NLForSpec is part of a larger project (CIn-Motorola BTC Test Research Project), which aims to automate test case generation, selection and evaluation for mobile phone applications." date="1242761099" name="NLForSpec_-_Uma_Ferramenta_para_Gerao_de_Especificaes_Formais_a_Partir_de_Casos_de_Teste_em_Linguagem_Natural.pdf" path="NLForSpec_-_Uma_Ferramenta_para_Geração_de_Especificações_Formais_a_Partir_de_Casos_de_Teste_em_Linguagem_Natural.pdf" size="901889" stream="NLForSpec_-_Uma_Ferramenta_para_Geração_de_Especificações_Formais_a_Partir_de_Casos_de_Teste_em_Linguagem_Natural.pdf" tmpFilename="/var/tmp/CGItemp53604" user="EricaHori" version="1"
META FILEATTACHMENT attachment="NLScripts_-_Composio_Assistida_de_Scripts_de_Testes_a_Partir_de_Descries_em_Linguagem_Natural.pdf" attr="h" comment="" date="1242761185" name="NLScripts_-_Composio_Assistida_de_Scripts_de_Testes_a_Partir_de_Descries_em_Linguagem_Natural.pdf" path="NLScripts_-_Composição_Assistida_de_Scripts_de_Testes_a_Partir_de_Descrições_em_Linguagem_Natural.pdf" size="3275" stream="NLScripts_-_Composição_Assistida_de_Scripts_de_Testes_a_Partir_de_Descrições_em_Linguagem_Natural.pdf" tmpFilename="/var/tmp/CGItemp53658" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" attr="h" comment="This dissertation was developed by Márcio Medeiros, and advised by Paulo Borba. This work presents a decision model for recommending mechanisms such as Inheritance, Aspect-Oriented Programming, Mixins, and Configuration Files to restructure test variabilities in Software Product Lines. The model aims at suggesting better mechanisms to restructure a given test if-else variability to achieve modularity. Additionally, we show a prototype tool to support developers when evolving variabilities in SPLs. It can suggest mechanisms according to the proposed decision model faster and precisely." date="1242761694" name="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" path="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" size="1521014" stream="Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf" tmpFilename="/var/tmp/CGItemp53756" user="EricaHori" version="1"
META FILEATTACHMENT attachment="SpecNL_-_Uma_Ferramenta_para_Gerar_Descries_em_Linguagem_Natural_a_partir_de_Especificaes_de_Casos_de_Teste.pdf" attr="h" comment="This dissertation was developed by Dante Torres, and advised by Flávia Barros. This work proposes a tool to generate natural language descriptions from test case scripts, intending to help the test engineers in the manual test cases execution. In order to validate the proposed tool, we developed a prototype that receives as input test case scripts specified in CSP formal language. As output, the tool delivers a text in English, describing the test case steps. It is part of a major project developed in a partnership between the CIn-UFPE and Motorola." date="1242761712" name="SpecNL_-_Uma_Ferramenta_para_Gerar_Descries_em_Linguagem_Natural_a_partir_de_Especificaes_de_Casos_de_Teste.pdf" path="SpecNL_-_Uma_Ferramenta_para_Gerar_Descrições_em_Linguagem_Natural_a_partir_de_Especificações_de_Casos_de_Teste.pdf" size="892943" stream="SpecNL_-_Uma_Ferramenta_para_Gerar_Descrições_em_Linguagem_Natural_a_partir_de_Especificações_de_Casos_de_Teste.pdf" tmpFilename="/var/tmp/CGItemp53519" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" attr="h" comment="This thesis was developed by Eduardo Aranha, and advised by Paulo Borba. This research aims to propose test execution effort estimation models that regard the test size and execution complexity measured from the test specification. For that, we identified risk factors related to test projects. Also, we aim to calibrate and evaluate the proposed estimation models through empirical studies on the mobile application domain." date="1242762753" name="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" path="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" size="5236135" stream="Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf" tmpFilename="/var/tmp/CGItemp53776" user="EricaHori" version="1"

Revision 32009-05-14 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 397 to 398
  October 19, 2007, João Pessoa, Paraíba,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

Dante Torres, Eduardo

Line: 411 to 412
  October 19, 2007, João Pessoa, Paraíba,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

Márcio Ribeiro, Pedro

Line: 419 to 420
  and Ivan Cardim. On the Modularity of Aspect-Oriented and Other Techniques for Implementing Product Lines Variabilities. II Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007). 
Changed:
<
<
15 - 16 October, 2007, João Pessoa, Paraíba, Brazil. [PDF]
>
>
15 - 16 October, 2007, João Pessoa, Paraíba, Brazil. [PDF]
 

Patrícia Machado

Line: 429 to 430
  (STEV 2007).  October 12, 2007, Portland,
Changed:
<
<
Oregon, USA. [PDF]
>
>
Oregon, USA. [PDF]
 

Emanuela Cartaxo, Francisco

Line: 443 to 444
  (SMC 2007).  7 - 10 October, 2007, Montreal,
Changed:
<
<
Quebec, Canada. [PDF]
>
>
Quebec, Canada. [PDF]
 

Gláucia Peres and Alexandre Mota.

Line: 456 to 457
  6 - 7 October, 2007, Recife, Pernambuco,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

Borba, Paulo; Torres, Dante; Marques, Rafael; Wetzel,

Line: 464 to 465
  Tool. In Motorola's 2007 Innovation Conference (IC'2007), Software Expo Session, Lombard, Illinois, USA, October 5.
Changed:
<
<
[DOC]
>
>
[DOC]
 

Emanuela Cartaxo, Francisco

Line: 479 to 480
  fuer Informatik.  September 27, 2007, Bremen,
Changed:
<
<
Germany. [PDF]
>
>
Germany. [PDF]
 

Eduardo Aranha and Paulo Borba.

Line: 488 to 489
  (ESEM 2007). 20 - 21 September, 2007. Madrid,
Changed:
<
<
Spain. [PDF]
>
>
Spain. [PDF]
 

Laisa Nascimento and Patricia Machado.

Line: 497 to 498
  (ACM-DoSTA).  September 4, 2007. Dubrovnik,
Changed:
<
<
Croatia. [PDF]
>
>
Croatia. [PDF]
 

Daniel Leitão, Dante Torres and Flávia Barros. NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.

Line: 505 to 506
  (SEKE'07). 9 - 11 July, 2007. Boston, Massachusetts,
Changed:
<
<
USA. [PDF]
>
>
USA. [PDF]
 

Wilkerson Andrade, Francisco

Line: 522 to 523
  a Falhas. 28 de Maio a 01 de Junho, 2007. Belém,
Changed:
<
<
Pará, Brasil. [PDF]
>
>
Pará, Brasil. [PDF]
  (portuguese)

 

Line: 951 to 952
 
META FILEATTACHMENT attachment="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" attr="h" comment="Paper presented at the International Conference on Software Process 2008 (ICSP 2008). Access at http://www.icsp-conferences.org/icsp2008/index.html." date="1242307976" name="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" path="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" size="164546" stream="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" tmpFilename="/var/tmp/CGItemp54692" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Using_Refinement_Checking_as_System_Testing.pdf" attr="h" comment="Paper presented at the 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008). Access at http://www.dsc.upe.br/~ideas2008/" date="1242308014" name="Using_Refinement_Checking_as_System_Testing.pdf" path="Using_Refinement_Checking_as_System_Testing.pdf" size="425378" stream="Using_Refinement_Checking_as_System_Testing.pdf" tmpFilename="/var/tmp/CGItemp54634" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" attr="h" comment="Paper presented at the 1st International Workshop on Computer Users’ Behaviour (CUB08). Access at http://www.cub08.com/" date="1242308045" name="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" path="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" size="206035" stream="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" tmpFilename="/var/tmp/CGItemp54722" user="EricaHori" version="1"
Added:
>
>
META FILEATTACHMENT attachment="A_Tool_to_Translate_CSP_Models_into_English_Requirements.pdf" attr="h" comment="Paper presented at the Second Brazilian Software Test Meeting (EBTS 2007). Access at http://ebts2007.cesar.org.br/index.html." date="1242321685" name="A_Tool_to_Translate_CSP_Models_into_English_Requirements.pdf" path="A_Tool_to_Translate_CSP_Models_into_English_Requirements.pdf" size="279955" stream="A_Tool_to_Translate_CSP_Models_into_English_Requirements.pdf" tmpFilename="/var/tmp/CGItemp54705" user="EricaHori" version="1"
META FILEATTACHMENT attachment="An_Estimation_Model_for_Test_Execution_Effort.pdf" attr="h" comment="Paper presented at the First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007). Access at http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/esem/2007/2886/00/2886toc.xml." date="1242321766" name="An_Estimation_Model_for_Test_Execution_Effort.pdf" path="An_Estimation_Model_for_Test_Execution_Effort.pdf" size="666280" stream="An_Estimation_Model_for_Test_Execution_Effort.pdf" tmpFilename="/var/tmp/CGItemp54696" user="EricaHori" version="1"
META FILEATTACHMENT attachment="An_Experimental_Evaluation_of_Approaches_to_Feature_Testing_in_the_Mobile_Phone_Applications_Domain.pdf" attr="h" comment="Paper presented at the Workshop on Domain-Specific Approaches to Software Test Automation (ACM-DoSTA). Access at http://dosta.cs.tut.fi/." date="1242321820" name="An_Experimental_Evaluation_of_Approaches_to_Feature_Testing_in_the_Mobile_Phone_Applications_Domain.pdf" path="An_Experimental_Evaluation_of_Approaches_to_Feature_Testing_in_the_Mobile_Phone_Applications_Domain.pdf" size="2313712" stream="An_Experimental_Evaluation_of_Approaches_to_Feature_Testing_in_the_Mobile_Phone_Applications_Domain.pdf" tmpFilename="/var/tmp/CGItemp54730" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Automated_Test_Case_Selection_Based_on_a_Similiraty_Function.pdf" attr="h" comment="Paper presented at the Model-based Testing Workshop (MOTES 2007). Access at http://www.testingworkshop.de/motes07/motes07en.html." date="1242321896" name="Automated_Test_Case_Selection_Based_on_a_Similiraty_Function.pdf" path="Automated_Test_Case_Selection_Based_on_a_Similiraty_Function.pdf" size="150685" stream="Automated_Test_Case_Selection_Based_on_a_Similiraty_Function.pdf" tmpFilename="/var/tmp/CGItemp54477" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Brazil_Test_Center_Research_Group.pdf" attr="h" comment="Paper presented at the First Brazilian Workshop on Systematic and Automated Software Testing (Research Group Presentation Track). Access at http://sast2007.dsc.ufcg.edu.br/." date="1242321935" name="Brazil_Test_Center_Research_Group.pdf" path="Brazil_Test_Center_Research_Group.pdf" size="43176" stream="Brazil_Test_Center_Research_Group.pdf" tmpFilename="/var/tmp/CGItemp54574" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Gerao_de_Casos_de_Teste_de_Interrupo_para_Aplicaes_de_Celulares.pdf" attr="h" comment="Paper presented at the Brazilian Symposium on Computer Networks and Distributed Systems (SBRC'2007). Access at http://sbrc2007.ufpa.br/." date="1242321967" name="Gerao_de_Casos_de_Teste_de_Interrupo_para_Aplicaes_de_Celulares.pdf" path="Geração_de_Casos_de_Teste_de_Interrupção_para_Aplicações_de_Celulares.pdf" size="538821" stream="Geração_de_Casos_de_Teste_de_Interrupção_para_Aplicações_de_Celulares.pdf" tmpFilename="/var/tmp/CGItemp54707" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Model_Based_Test_Generation_-_An_Industrial_Experience.pdf" attr="h" comment="Paper presented at the First Brazilian Workshop on Systematic and Automated Software Testing. Access at http://sast2007.dsc.ufcg.edu.br/." date="1242322076" name="Model_Based_Test_Generation_-_An_Industrial_Experience.pdf" path="Model_Based_Test_Generation_-_An_Industrial_Experience.pdf" size="152915" stream="Model_Based_Test_Generation_-_An_Industrial_Experience.pdf" tmpFilename="/var/tmp/CGItemp54601" user="EricaHori" version="1"
META FILEATTACHMENT attachment="NLForSpec_-_Translating_Natural_Language_Descriptions_into_Formal_Test_Case_Specifications.pdf" attr="h" comment="Paper presented at Conference on Software Engineering and Knowledge Engineering 2007. Access at http://www.ksi.edu/seke/seke07.html." date="1242322120" name="NLForSpec_-_Translating_Natural_Language_Descriptions_into_Formal_Test_Case_Specifications.pdf" path="NLForSpec_-_Translating_Natural_Language_Descriptions_into_Formal_Test_Case_Specifications.pdf" size="68671" stream="NLForSpec_-_Translating_Natural_Language_Descriptions_into_Formal_Test_Case_Specifications.pdf" tmpFilename="/var/tmp/CGItemp54815" user="EricaHori" version="1"
META FILEATTACHMENT attachment="On_the_Modularity_of_Aspect-Oriented_and_Other_Techniques_for_Implementing_Product_Lines_Variabilities.pdf" attr="h" comment="Paper presented at the Second Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007). Access at http://www.les.inf.puc-rio.br/la-wasp2007/index.htm." date="1242322154" name="On_the_Modularity_of_Aspect-Oriented_and_Other_Techniques_for_Implementing_Product_Lines_Variabilities.pdf" path="On_the_Modularity_of_Aspect-Oriented_and_Other_Techniques_for_Implementing_Product_Lines_Variabilities.pdf" size="154238" stream="On_the_Modularity_of_Aspect-Oriented_and_Other_Techniques_for_Implementing_Product_Lines_Variabilities.pdf" tmpFilename="/var/tmp/CGItemp54831" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Software_Expo_Submission_Form.doc" attr="h" comment="Form submitted to the Software Expo session of Motorola's Innovation Conference. Access at http://my.mot.com/portal/site/innovationconference." date="1242322180" name="Software_Expo_Submission_Form.doc" path="Software_Expo_Submission_Form.doc" size="43008" stream="Software_Expo_Submission_Form.doc" tmpFilename="/var/tmp/CGItemp54662" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" attr="h" comment="Paper presented at the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007). Access at http://www.smc2007.org/." date="1242322212" name="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" path="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" size="226388" stream="Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf" tmpFilename="/var/tmp/CGItemp54788" user="EricaHori" version="1"
META FILEATTACHMENT attachment="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" attr="h" comment="Paper presented at the First International Workshop on Software Test Evaluation (STEV 2007). Access at http://www.mathematik.uni-ulm.de/sai/mayer/stev07/." date="1242322243" name="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" path="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" size="84267" stream="The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf" tmpFilename="/var/tmp/CGItemp54618" user="EricaHori" version="1"

Revision 22009-05-14 - EricaHori

Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Publications

Line: 25 to 25
  Development. March 2-6, 2009, Charlottesville,
Changed:
<
<
Virginia, USA. [PDF] 

>
>
Virginia, USA. [PDF] 

 

Márcio Ribeiro

Line: 44 to 44
  2009). March 24-27, 2009, Kaiserslautern,
Changed:
<
<
Germany.[PDF]

>
>
Germany.[PDF]

 

Cristiano

Line: 65 to 65
  Verification and Validation (ICST 2009). 1-4
Changed:
<
<
April 2009, Denver, Colorado, USA. [PDF]

>
>
April 2009, Denver, Colorado, USA. [PDF]

 

 

2008

Line: 94 to 97
  2008), November 5-7, Salvador, Bahia, Brazil,
Changed:
<
<
2008. [PDF]

>
>
2008. [PDF]

 
Deleted:
<
<

 

 

Cristiano

Line: 106 to 107
  Estratégia para teste de Conformidade
Changed:
<
<
Automático <st1:PersonName w:st="on" ProductID="em Sistemas Embarcados">
>
>
Automático
  em Sistemas Embarcados. Revista IEEE América
Line: 116 to 116
  2008, ISSN: 1548-0992.

Deleted:
<
<

 

 

Clélio Feitosa,

Line: 135 to 133
  2008, ISSN: 1548-0992.

Deleted:
<
<

 

 

Lucas Lima,

Line: 158 to 154
  2008). October 13, 2008, Campinas, São
Changed:
<
<
Paulo, Brazil [PDF]

>
>
Paulo, Brazil [PDF]

 
Deleted:
<
<

 

 

Eduardo Aranha,

Line: 185 to 179
  2008), Campinas, Brazil, October
Changed:
<
<
2008 [PDF]

>
>
2008 [PDF]

 
Deleted:
<
<

 

 

Francisco Neto,

Line: 206 to 198
  2008). October 13, 2008, Campinas, São
Changed:
<
<
Paulo, Brazil [PDF]

>
>
Paulo, Brazil [PDF]

 
Deleted:
<
<

 

 

Wilkerson

Line: 226 to 216
  2008). October 13, 2008, Campinas, São
Changed:
<
<
Paulo, Brazil [PDF]

>
>
Paulo, Brazil [PDF]

 
Deleted:
<
<

 

 

Emanuela Cartaxo,

Line: 254 to 242
  2008, Campinas, São Paulo, Brazil.
Changed:
<
<
[PDF]

>
>
[PDF]

 
Deleted:
<
<

 

 

Rodrigo Bonifácio,

Line: 271 to 257
  Symposium. September 8-12, 2008, Limerick,
Changed:
<
<
Ireland. [PDF]

>
>
Ireland. [PDF]

 
Deleted:
<
<

 

 

Antonia

Line: 294 to 278
  Behaviour (CUB08).  September 1-5, 2008,
Changed:
<
<
Turing, Italy. [PDF]

>
>
Turing, Italy. [PDF]

 
Deleted:
<
<

 

 

Sidney

Line: 308 to 290
  5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008).  September 1-3, 2008,
Changed:
<
<
Istanbul, Turkey. [PDF]

>
>
Istanbul, Turkey. [PDF]

 
Deleted:
<
<

 

 

Augusto Sampaio, Juliano Iyoda,

Line: 323 to 303
  2008). August 26-29, 2008. Salvador,
Changed:
<
<
Bahia, Brazil. [PDF]

>
>
Bahia, Brazil. [PDF]

 
Deleted:
<
<

 

 

Eduardo Aranha and Paulo Borba. Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. International Conference on Software Process 2008 (ICSP 2008). 

Changed:
<
<
May 10-11, 2008, Leipzig, Germany. [PDF]

>
>
May 10-11, 2008, Leipzig, Germany. [PDF]

 
Deleted:
<
<

 

 

Rodrigo Bonifácio, Paulo Borba and Sérgio Soares. On the Benefits of Scenario Variability as Crosscutting. EA - Early Aspects Workshop (co-located with the Seventh International Conference on Aspect-Oriented Software Development). 

Changed:
<
<
March 31st - April 4th, 2008, Brussels, Belgium. [PDF]

>
>
March 31st - April 4th, 2008, Brussels, Belgium. [PDF]

 
Deleted:
<
<

 

 

Emanuela

Line: 364 to 339
  March 16-20, 2008, Fortaleza, Ceará,
Changed:
<
<
Brazil. [PDF]

>
>
Brazil. [PDF]

 
Deleted:
<
<

 

 

Márcio Ribeiro, Pedro

Line: 381 to 354
  March 16-20, 2008, Fortaleza, Ceará,
Changed:
<
<
Brazil. [PDF]

>
>
Brazil. [PDF]

 
Deleted:
<
<

 

 

Cristiano

Line: 398 to 369
  February 11-15, 2008, Recife, Pernambuco,
Changed:
<
<
Brazil. [PDF]

>
>
Brazil. [PDF]

 
Deleted:
<
<

 

 

Clélio

Line: 412 to 381
  February 11-15, 2008, Recife, Pernambuco,
Changed:
<
<
Brazil. [PDF]
>
>
Brazil. [PDF]
 

 

Line: 962 to 931
  Pernambuco, January 2009 [PDF]

Added:
>
>
META FILEATTACHMENT attachment="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" attr="h" comment="Paper presented at the 8th International Conference on Aspect-Oriented Software Development. Access at http://aosd.net/2009/." date="1242305065" name="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" path="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" size="231632" stream="Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf" tmpFilename="/var/tmp/CGItemp54756" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" attr="h" comment="Paper presented at the 13th European Conference on Software Maintenance and Reengineering (CSMR 2009). Access at http://csmr2009.iese.fraunhofer.de." date="1242305103" name="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" path="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" size="211541" stream="Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf" tmpFilename="/var/tmp/CGItemp54574" user="EricaHori" version="1"
META FILEATTACHMENT attachment="_An_Empirical_Evaluation_of_Automated_Black_Box_Testing_Techniques_for_Crashing_GUIs.pdf" attr="h" comment="Paper presented at the2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009). Access at http://bitterroot.vancouver.wsu.edu/icst2009/." date="1242305139" name="_An_Empirical_Evaluation_of_Automated_Black_Box_Testing_Techniques_for_Crashing_GUIs.pdf" path="_An_Empirical_Evaluation_of_Automated_Black_Box_Testing_Techniques_for_Crashing_GUIs.pdf" size="131267" stream="_An_Empirical_Evaluation_of_Automated_Black_Box_Testing_Techniques_for_Crashing_GUIs.pdf" tmpFilename="/var/tmp/CGItemp54686" user="EricaHori" version="1"
META FILEATTACHMENT attachment="A_Decision_Model_for_Implementing_Product_Lines_Variabilities.pdf" attr="h" comment="Paper presented at the 23rd Annual ACM Symposium on Applied Computing (SAC 2008). Access at http://www.acm.org/conferences/sac/sac2008/." date="1242305964" name="A_Decision_Model_for_Implementing_Product_Lines_Variabilities.pdf" path="A_Decision_Model_for_Implementing_Product_Lines_Variabilities.pdf" size="185290" stream="A_Decision_Model_for_Implementing_Product_Lines_Variabilities.pdf" tmpFilename="/var/tmp/CGItemp54556" user="EricaHori" version="1"
META FILEATTACHMENT attachment="A_Permutation_Technique_for_Test_Case_Prioritization_in_a_Black-box_Environment.pdf" attr="h" comment="Paper presented at the 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=44&Itemid=70" date="1242305999" name="A_Permutation_Technique_for_Test_Case_Prioritization_in_a_Black-box_Environment.pdf" path="A_Permutation_Technique_for_Test_Case_Prioritization_in_a_Black-box_Environment.pdf" size="243528" stream="A_Permutation_Technique_for_Test_Case_Prioritization_in_a_Black-box_Environment.pdf" tmpFilename="/var/tmp/CGItemp54520" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Automated_Test_Execution_Effort_Estimation_Based_on_Functional_Test_Specifications.pdf" attr="h" comment="Paper presented at the XXII Brazilian Symposium on Software Engineering (SBES 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=31&Itemid=54" date="1242306048" name="Automated_Test_Execution_Effort_Estimation_Based_on_Functional_Test_Specifications.pdf" path="Automated_Test_Execution_Effort_Estimation_Based_on_Functional_Test_Specifications.pdf" size="122592" stream="Automated_Test_Execution_Effort_Estimation_Based_on_Functional_Test_Specifications.pdf" tmpFilename="/var/tmp/CGItemp54726" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Guided_Test_Generation_from_CSP_Models.pdf" attr="h" comment="Paper presented at the 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008). Access at http://www.ictac.net/ictac08/" date="1242306078" name="Guided_Test_Generation_from_CSP_Models.pdf" path="Guided_Test_Generation_from_CSP_Models.pdf" size="427144" stream="Guided_Test_Generation_from_CSP_Models.pdf" tmpFilename="/var/tmp/CGItemp54510" user="EricaHori" version="1"
META FILEATTACHMENT attachment="LTSBT_-_A_Tool_to_Generate_and_Select_Functional_Test_Cases_for_Embedded_Systems.pdf" attr="h" comment="Paper presented at the 23rd Annual ACM Symposium on Applied Computing (SAC 2008). Access at http://www.acm.org/conferences/sac/sac2008/." date="1242306110" name="LTSBT_-_A_Tool_to_Generate_and_Select_Functional_Test_Cases_for_Embedded_Systems.pdf" path="LTSBT_-_A_Tool_to_Generate_and_Select_Functional_Test_Cases_for_Embedded_Systems.pdf" size="303950" stream="LTSBT_-_A_Tool_to_Generate_and_Select_Functional_Test_Cases_for_Embedded_Systems.pdf" tmpFilename="/var/tmp/CGItemp54712" user="EricaHori" version="1"
META FILEATTACHMENT attachment="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" attr="h" comment="Paper presented at the 5th Experimental Software Engineering Latin American (ESELAW 2008). Access at http://web.unifacs.br/eselaw" date="1242306141" name="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" path="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" size="363784" stream="ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf" tmpFilename="/var/tmp/CGItemp54595" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" attr="h" comment="Paper presented at the 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=44&Itemid=70" date="1242306570" name="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" path="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" size="378261" stream="Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf" tmpFilename="/var/tmp/CGItemp54743" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Multiple_Synchrony_in_MSC.pdf" attr="h" comment="Paper presented at the Brazilian Symposium on Formal Methods (SBMF 2008). Access at http://www.lasid.ufba.br/sbmf2008/" date="1242306705" name="Multiple_Synchrony_in_MSC.pdf" path="Multiple_Synchrony_in_MSC.pdf" size="132962" stream="Multiple_Synchrony_in_MSC.pdf" tmpFilename="/var/tmp/CGItemp54742" user="EricaHori" version="1"
META FILEATTACHMENT attachment="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" attr="" comment="Paper presented at the Early Aspects Workshop. Co-located with the Seventh International Conference on Aspect-Oriented Software Development. Access at http://www.aosd.net/2008/program/workshops.php#EA." date="1242307039" name="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" path="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" size="308338" stream="On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf" tmpFilename="/var/tmp/CGItemp54813" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" attr="h" comment="Paper presented at the 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). Access at http://sbbdes.ic.unicamp.br/index.php?option=com_content&task=view&id=44&Itemid=70" date="1242307174" name="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" path="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" size="808268" stream="Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf" tmpFilename="/var/tmp/CGItemp54693" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" attr="h" comment="Paper presented at the SPLC Doctoral Symposium. Access at http://www.lero.ie/SPLC2008/CallforSubmissions/DoctoralSymposium.html" date="1242307755" name="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" path="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" size="156530" stream="Towards_a_Crosscutting_Approach_for_Variability_Management.pdf" tmpFilename="/var/tmp/CGItemp54678" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Unifying_Models_of_Test_Cases_and_Requirements.pdf" attr="h" comment="Paper presented at the 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008). Access at http://www.dsc.upe.br/~ideas2008/" date="1242307814" name="Unifying_Models_of_Test_Cases_and_Requirements.pdf" path="Unifying_Models_of_Test_Cases_and_Requirements.pdf" size="303200" stream="Unifying_Models_of_Test_Cases_and_Requirements.pdf" tmpFilename="/var/tmp/CGItemp54689" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Usando_Funes_de_Similaridade_para_Reduo_de_Conjuntos_de_Casos_de_Teste_em_Estratgias_de_Teste_Baseado_em_Modelos.pdf" attr="h" comment="Paper presented at the 22nd Brazilian Symposium on Sofware Engineering (SBES 2008). Access at http://sbbdes.ic.unicamp.br/" date="1242307890" name="Usando_Funes_de_Similaridade_para_Reduo_de_Conjuntos_de_Casos_de_Teste_em_Estratgias_de_Teste_Baseado_em_Modelos.pdf" path="Usando_Funções_de_Similaridade_para_Redução_de_Conjuntos_de_Casos_de_Teste_em_Estratégias_de_Teste_Baseado_em_Modelos.pdf" size="342663" stream="Usando_Funções_de_Similaridade_para_Redução_de_Conjuntos_de_Casos_de_Teste_em_Estratégias_de_Teste_Baseado_em_Modelos.pdf" tmpFilename="/var/tmp/CGItemp54625" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" attr="h" comment="Paper presented at the International Conference on Software Process 2008 (ICSP 2008). Access at http://www.icsp-conferences.org/icsp2008/index.html." date="1242307976" name="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" path="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" size="164546" stream="Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf" tmpFilename="/var/tmp/CGItemp54692" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Using_Refinement_Checking_as_System_Testing.pdf" attr="h" comment="Paper presented at the 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008). Access at http://www.dsc.upe.br/~ideas2008/" date="1242308014" name="Using_Refinement_Checking_as_System_Testing.pdf" path="Using_Refinement_Checking_as_System_Testing.pdf" size="425378" stream="Using_Refinement_Checking_as_System_Testing.pdf" tmpFilename="/var/tmp/CGItemp54634" user="EricaHori" version="1"
META FILEATTACHMENT attachment="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" attr="h" comment="Paper presented at the 1st International Workshop on Computer Users’ Behaviour (CUB08). Access at http://www.cub08.com/" date="1242308045" name="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" path="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" size="206035" stream="Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf" tmpFilename="/var/tmp/CGItemp54722" user="EricaHori" version="1"

Revision 12009-04-09 - LeopoldoTeixeira

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Publications

In what follows you find the complete list of thesis and papers published so far.

 

2009

Rodrigo Bonifácio and Paulo Borba. Modeling Scenario Variability as Crosscutting Mechanisms. 8th International Conference on Aspect-Oriented Software Development. March 2-6, 2009, Charlottesville, Virginia, USA. [PDF] 

Márcio Ribeiro and Paulo Borba. Improving Guidance when Restructuring Variabilities in Software Product Lines. 13th European Conference on Software Maintenance and Reengineering (CSMR 2009). March 24-27, 2009, Kaiserslautern, Germany.[PDF]

Cristiano Bertolini, Gláucia Peres, Marcelo d`Amorim, Alexandre Mota.An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009). 1-4 April 2009, Denver, Colorado, USA. [PDF]

2008

 

Eduardo Aranha and Paulo Borba. ManualTEST: Improving Collection of Manual Test Execution Data in Empirical Studies. Proceedings of the 5th Experimental Software Engineering Latin American (ESELAW 2008), November 5-7, Salvador, Bahia, Brazil, 2008. [PDF]

 

Cristiano Bertolini, Alexandre Mota. Uma Estratégia para teste de Conformidade Automático <st1:PersonName w:st="on" ProductID="em Sistemas Embarcados"> em Sistemas Embarcados. Revista IEEE América Latina. Vol.:6, Iss.:3, July 2008, ISSN: 1548-0992.

 

Clélio Feitosa, Glaucia Peres, and Alexandre Mota. Unificando Modelos de Casos de Teste e de Requisitos. Revista IEEE América Latina. Vol.:6, Iss.:3, July 2008, ISSN: 1548-0992.

 

Lucas Lima, Juliano Iyoda, and Augusto Sampaio. A Permutation Technique for Test Case Prioritization in a Black-box Environment. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

 

Eduardo Aranha, Filipe Almeida, Thiago Diniz, Vitor Fontes, and Paulo Borba. Automated test execution effort estimation based on functional test specifications. In Tools Session of the XXII Brazilian Symposium on Software Engineering (SBES 2008), Campinas, Brazil, October 2008 [PDF]

 

Francisco Neto, Emanuela Cartaxo, Patricia Machado, and João Ouriques. Reducing the Size of Test Cases Based on Similarities. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

 

Wilkerson Andrade, and Patricia Machado. Modeling and Testing Interruptions in Reactive Systems Using Symbolic Models. 2nd Brazilian Workshop on Systematic and Automated Software Testing (SBES/SAST 2008). October 13, 2008, Campinas, São Paulo, Brazil [PDF]

 

Emanuela Cartaxo, Patrícia Machado, Francisco Neto, and João Ouriques. Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. 22nd Brazilian Symposium on Software Engineering (SBES 2008). October 13-17, 2008, Campinas, São Paulo, Brazil. [PDF]

 

Rodrigo Bonifácio, and Paulo Borba. Towards a Crosscutting Approach for Variability Management. SPLC Doctoral Symposium. September 8-12, 2008, Limerick, Ireland. [PDF]

 

Antonia Bertolino,  Emanuela Cartaxo, Patrícia Machado, and Eda Marchetti. Weighting Influence of User Behavior in Software Validation. 1st International Workshop on Computer Users’ Behaviour (CUB08).  September 1-5, 2008, Turing, Italy. [PDF]

 

Sidney Nogueira, Augusto Sampaio and Alexandre Mota. Guided Test Generation from CSP Models. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008).  September 1-3, 2008, Istanbul, Turkey. [PDF]

 

Augusto Sampaio, Juliano Iyoda, and Flavia Falcao. Multiple Synchrony in MSC. Brazilian Symposium on Formal Methods (SBMF 2008). August 26-29, 2008. Salvador, Bahia, Brazil. [PDF]

 

Eduardo Aranha and Paulo Borba. Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach. International Conference on Software Process 2008 (ICSP 2008).  May 10-11, 2008, Leipzig, Germany. [PDF]

 

Rodrigo Bonifácio, Paulo Borba and Sérgio Soares. On the Benefits of Scenario Variability as Crosscutting. EA - Early Aspects Workshop (co-located with the Seventh International Conference on Aspect-Oriented Software Development).  March 31st - April 4th, 2008, Brussels, Belgium. [PDF]

 

Emanuela Cartaxo, Wilkerson Andrade, Francisco Neto and Patrícia Machado. LTSBT: A Tool to Generate and Select Functional Test Cases for Embedded Systems. 23rd Annual ACM Symposium on Applied Computing (SAC'2008).  March 16-20, 2008, Fortaleza, Ceará, Brazil. [PDF]

 

Márcio Ribeiro, Pedro Matos and Paulo Borba. A Decision Model for Implementing Product Lines Variabilities. 23rd Annual ACM Symposium on Applied Computing (SAC'2008).  March 16-20, 2008, Fortaleza, Ceará, Brazil. [PDF]

 

Cristiano Bertolini and Alexandre Mota. Using Refinement Checking as System Testing. 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).  February 11-15, 2008, Recife, Pernambuco, Brazil. [PDF]

 

Clélio Feitosa, Glaucia Peres and Alexandre Mota. Unifying Models of Test Cases and Requirements. 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).  February 11-15, 2008, Recife, Pernambuco, Brazil. [PDF]

 

2007

Sidney Nogueira, Emanuela Cartaxo, Dante Torres, Eduardo Aranha and Rafael Marques. Model Based Test Generation: An Industrial Experience. First Brazilian Workshop on Systematic and Automated Software Testing.  October 19, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Dante Torres, Eduardo Aranha, Emanuela Cartaxo, Sidney Nogueira, Alexandre Mota, Augusto Sampaio, Flávia Barros, Patrícia Machado and Paulo Borba. Brazil Test Center Research Group. First Brazilian Workshop on Systematic and Automated Software Testing (Research Group Presentation Track).  October 19, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Márcio Ribeiro, Pedro Matos, Paulo Borba and Ivan Cardim. On the Modularity of Aspect-Oriented and Other Techniques for Implementing Product Lines Variabilities. II Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007).  15 - 16 October, 2007, João Pessoa, Paraíba, Brazil. [PDF]

Patrícia Machado and Wilkerson Andrade. The Oracle Problem for Testing against Quantified Properties. International Workshop on Software Test Evaluation (STEV 2007).  October 12, 2007, Portland, Oregon, USA. [PDF]

Emanuela Cartaxo, Francisco Neto and Patrícia Machado. Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems. IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007).  7 - 10 October, 2007, Montreal, Quebec, Canada. [PDF]

Gláucia Peres and Alexandre Mota. A Tool to Translate CSP Models into English Requirements. Second Brazilian Software Test Meeting (EBTS 2007).  6 - 7 October, 2007, Recife, Pernambuco, Brazil. [PDF]

Borba, Paulo; Torres, Dante; Marques, Rafael; Wetzel, Luiz. TaRGeT: Test and Requirements Generation Tool. In Motorola's 2007 Innovation Conference (IC'2007), Software Expo Session, Lombard, Illinois, USA, October 5. [DOC]

Emanuela Cartaxo, Francisco Neto and Patrícia Machado. Test Case Selection Using Similarity Function. Workshop on Model-based Testing in 37th Annual Congress of the Gesellschaft fuer Informatik.  September 27, 2007, Bremen, Germany. [PDF]

Eduardo Aranha and Paulo Borba. Estimation Model for Test Execution Effort. International Symposium on Empirical Software Engineering and Measurement (ESEM 2007). 20 - 21 September, 2007. Madrid, Spain. [PDF]

Laisa Nascimento and Patricia Machado. An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain. Workshop on Domain-Specific Approaches to Software Test Automation (ACM-DoSTA).  September 4, 2007. Dubrovnik, Croatia. [PDF]

Daniel Leitão, Dante Torres and Flávia Barros. NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications. Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07). 9 - 11 July, 2007. Boston, Massachusetts, USA. [PDF]

Wilkerson Andrade, Francisco Neto e Patrícia Machado. Geração de Casos de Teste de Interrupção para Aplicações de Celulares. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC'2007), Workshop de Teste e Tolerância a Falhas. 28 de Maio a 01 de Junho, 2007. Belém, Pará, Brasil. [PDF] (portuguese)

 

2006

Elifrancis Soares and Alexandre Vasconcelos. Adaptando o RUP para Análise de Cobertura de Código. I SBTS – Simpósio Brasileiro de Testes de Software [DOC] (portuguese)

Flávia Barros, Dante Torres and Daniel Leitao. Motorola SpecNL: a Hybrid System to Generate NL Descriptions from Test Case Specifications. 6th International Conference on Hybrid Intelligent Systems (HIS 06') and 4th Conference on Neuro-Computing and Evolving Intelligence (NCEI 06'). 13-15 December 2006, AUT Technology Park, Auckland, New Zealand. [PDF]

Figueiredo, André; Patrícia, Machado; Andrade, Wilkerson. Generating Integration Test Cases for Mobile Phone Systems from Use Case Specifications. 2nd Workshop on Advances in Model-based Software Testing (A-Most'06) in the 17th IEEE International Symposium on Software Reliability Engineering. November 7, 2006, Raleigh, North Carolina, USA [PDF]

Eduardo Aranha, Paulo Borba and José Mario Lima. Model Simulation for Test Execution Capacity Estimation. The 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006). 6-10 November 2006 - Raleigh, North Carolina, USA. [DOC]

Eduardo Aranha and Paulo Borba. Measuring Test Execution Complexity. 2nd International PRedictOr Models In Software Engineering Workshop (PROMISE 2006). September 24, 2006, Philadelphia, Pennsylvania USA.

Patricia Ferreira, Augusto Sampaio and Alexandre Mota. Viewing CSP Specification with UML-RT Diagrams. Brazilian Symposium on Formal Methods (SBMF 2006). 17 - 23 September, 2006. Natal, RN, Brazil. [PDF]

Gustavo Cabral and Augusto Sampaio. Formal Specification Generation from Requirement Documents. Brazilian Symposium on Formal Methods (SBMF 2006). 17 - 23 September, 2006. Natal, RN, Brazil. [PDF]

Eduardo Aranha and Paulo Borba. Considering test execution complexity for estimation test execution effort: Research plan. 1st International Doctoral Symposium on Empirical Software Engineering (IDoESE 2006). September 20, 2006, Rio de Janeiro, Brazil.

Paulo Borba, Dante Torres, Rafael Marques and Jose Mario Lima. TaRGeT - Test and Requirement Generation Tool. Motorola S3 Symposium - Internal Tools Fair. September 12, 2006, Itasca, Illinois. [DOC]

Elifrancis Soares and Alexandre Vasconcelos. Um processo de teste de cobertura alinhado ao processo de desenvolvimento de software em aplicações embarcadas. IV Workshop de Teses e Dissertações em Qualidade de Software (WTDQS 2006), 31 de maio de 2006 - Vila Velha - ES. [PDF] (portuguese)

Augusto Sampaio. Test sequence generation from process algebra use models. International Federation for Information Processing - Working Group 2.3 (Programming Methodology). IFIP WG 2.3 meeting 45. 13-17 March 2006. Bruges, Belgium.

 

<-- end: Basic Copy -->
<-- begin: Page Sub Header (color 1) -->
 
<-- end: Page Sub Header (color 1) -->
<-- begin: Basic Copy -->

 

2008

Davi Gadelha. EvolUniT: Geração e Evolução de Testes de Unidade em Java utilizando Algoritmos Genéticos. Federal University of Pernambuco, July 2008 [PDF] (portuguese)

João dos Prazeres. NLScripts: Composição Assistida de Scripts de Testes a Partir de Descrições em Linguagem Natural. Federal University of Pernambuco, June 2008 [PDF] (portuguese)

Laísa Nascimento. Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas. Federal University of Campina Grande, February 2008  [PDF] (portuguese) 

Márcio Ribeiro. Restructuring Test Variabilities in Software Product Lines. Federal University of Pernambuco, February 2008  [PDF]

2007

Euclides N. Arcoverde Neto. Abordagem para Geração Automática de Código para Framework de Automação de Testes. Federal University of Pernambuco , Agosto 2007  [PDF] (portuguese) 

Elifrancis Soares. Adaptação do Processo de Desenvolvimento de Software para a Análise de Cobertura de Código. Federal University of Pernambuco , May 2007  [PDF] (portuguese) 

Clélio Feitosa. Modelling and Integrating Formal Models: from Test Cases and Requirements Models. Federal University of Pernambuco, May 2007  [PDF]

Wilkerson Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares. Federal University of Campina Grande, March 2007  [PDF] (portuguese)

 

2006

Emanuela Gadelha. Geração de Casos de Teste Funcional para Aplicações de Celulares. Federal University of Campina Grande , October 2006  [PDF] (portuguese) 

Sidney Nogueira. Geração Automática de Casos de Teste CSP Orientada por Propósitos. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Dante Torres. SpecNL: Uma Ferramenta para Gerar Descrições em Linguagem Natural a partir de Especificações de Casos de Teste. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Daniel Leitão. NLForSpec: Uma Ferramenta para Geração de Especificações Formais a Partir de Casos de Teste em Linguagem Natural. Federal University of Pernambuco, September 2006  [PDF] (portuguese)

Gustavo Cabral. Formal Specification Generation from Requirement Documents. Federal University of Pernambuco, September 2006  [PDF]

Patrícia Muniz. Geração Automática de Diagramas UML-RT a partir de Especificações CSP. Federal University of Pernambuco, September 2006  [PDF] (portuguese)


 

 

2009

Eduardo Aranha. Estimating Test Execution Effort Based on Test Specifications. Federal University of Pernambuco, January 2009 [PDF]

 
This site is powered by the TWiki collaboration platformCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort