Difference: PublicationsCInBTC (16 vs. 17)

Revision 172010-03-18 - LaisNeves

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

Publications

 

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



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.

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, 2009, Lake Buena Vista, Florida, USA.

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 [PDF] 

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.

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 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 -->

 

2010

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

Changed:
<
<
2010
>
>
2010 [PDF]
 

 

2009

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

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 Campina Grande, May 2009 [PDF] (portuguese)

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. 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]

 

 

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="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"
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"
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"
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"
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"
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"
 
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