(r14) PublicationsCInBTC < CInBTCResearchProject

CInBTCResearchProject Web>PublicationsCInBTC (revision 14) (raw view)~~EditAttach~~
---+!! Publications

<table width="100%" cellpadding="0" cellspacing="0" border="0" class="BasicCopy" summary="Layout table for Basic Copy module.">
                                                <tr>
                                                        <td class="copy">
                                                                &nbsp;
                                                                 
                                                                 <p>
                                                                <font size="4"><b><u>2010</u></b></font><span class="Apple-style-span" style="LINE-HEIGHT: normal; FONT-FAMILY: arial">
                                                                 </p>                  
                                                                <br>
                                                                <br>

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

                                                                <p>
                                                                <font size="4"><b><u>2009</u></b></font><span class="Apple-style-span" style="LINE-HEIGHT: normal; FONT-FAMILY: arial">
                                                                 </p>                  
                                                                <br>
                                                                <br>

                                                                <p>
                                                                Cristiano Bertolini and Alexandre Mota.
                                                                <b>Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.</b>
                                                                <i>7th IEEE International Conference on Software Engineering and Formal Methods (SEFM2009).</i> November 23-27, 2009, Hanoi, Vietnam.
                                                                </p>
                                                                
                                                                
                                                                <p>
                                                                Lucas Albertins, Eduardo Aranha, Juliano Iyoda and Augusto Sampaio.
                                                                <b>Test Case Prioritization based on Data Reuse: An Experimental Study.</b>
                                                                In the <i>Proceedings of the 3rd International Symposium on Empirical Software 
                                                                Engineering and Measurement (ESEM 2009).</i> October 15-16, 2009, Lake Buena Vista,
                                                                Florida, USA.
                                                                </p>

                                                                <p>
                                                                Juliana Mafra, Breno Miranda, Juliano Iyoda and Augusto Sampaio..
                                                                <b>Test Case Selector: Uma Ferramenta para Seleção de Testes.</b>
                                                                In: <i>Brazilian Workshop on Systematic and Automated Software Testing.</i> August, 2009, Gramado, RS, Brazil <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Test_Case_Selector_Uma_Ferramenta_para_Seleo_de_Testes.pdf">[PDF]</a>&nbsp;</p>                                                                                                  </p>

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

                                                                <p>
                                                                Rodrigo         
                                                                Bonifácio and         
                                                                Paulo Borba. <b>Modeling         
                                                                Scenario 
                                                                Variability as 
                                                                Crosscutting 
                                                                Mechanisms. </b><i>8th 
                                                                International 
                                                                Conference on 
                                                                Aspect-Oriented 
                                                                Software 
                                                                Development. </i>March         
                                                                2-6, 2009,         
                                                                Charlottesville,         
                                                                Virginia, USA. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Modeling_Scenario_Variability_as_Crosscutting_Mechanisms.pdf">[PDF]</a>&nbsp;</p>
                                                                

                                                                <p>
                                                                Márcio Ribeiro         
                                                                and Paulo             
                                                                Borba. <b>Improving             
                                                                Guidance when 
                                                                Restructuring 
                                                                Variabilities in 
                                                                Software Product 
                                                                Lines.</b> <i>13th             
                                                                European 
                                                                Conference on 
                                                                Software 
                                                                Maintenance and 
                                                                Reengineering (CSMR 
                                                                2009). </i>March             
                                                                24-27, 2009,    
                                                                Kaiserslautern,    
                                                                Germany.<a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Improving_Guidance__WhenReestructuring_Variabilities_In_Software_Product_Lines.pdf">[PDF]</a></p>
                                                                
                                                                <p>
                                                                Cristiano         
                                                                Bertolini, Gláucia           
                                                                Peres, Marcelo         
                                                                d`Amorim,           
                                                                Alexandre Mota.<b>An           
                                                                Empirical 
                                                                Evaluation of 
                                                                Automated Black 
                                                                Box Testing 
                                                                Techniques for 
                                                                Crashing GUIs.</b> 
                                                                <i>2nd IEEE           
                                                                International 
                                                                Conference on 
                                                                Software Testing, 
                                                                Verification and 
                                                                Validation (ICST 
                                                                2009). </i>1-4           
                                                                April 2009, Denver,           
                                                                Colorado, USA. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/_An_Empirical_Evaluation_of_Automated_Black_Box_Testing_Techniques_for_Crashing_GUIs.pdf">[PDF]</a></p>
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                &nbsp;</p>
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                <font size="4"><b><u>2008</u></b></font></p>
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                &nbsp;</p>
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Eduardo          
                                                                Aranha and Paulo          
                                                                Borba.<span class="Apple-style-span" style="line-height: normal; font-family: arial"> 
                                                                </span><b>ManualTEST: 
                                                                Improving 
                                                                Collection of 
                                                                Manual Test 
                                                                Execution Data 
                                                                in Empirical 
                                                                Studies.</b><span class="Apple-style-span" style="line-height: normal; font-family: arial"> 
                                                                </span><i>Proceedings 
                                                                of the 5th 
                                                                Experimental 
                                                                Software 
                                                                Engineering 
                                                                Latin American (ESELAW 
                                                                2008), </i>November          
                                                                5-7, Salvador,          
                                                                Bahia, Brazil,          
                                                                2008. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/ManualTEST-_Improving_Collection_of_Manual_Test_Execution_Data_in_Empirical_Studies.pdf">[PDF]</a></p>      
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Cristiano        
                                                                Bertolini,               
                                                                Alexandre Mota. <b>Uma               
                                                                Estratégia para               
                                                                teste de               
                                                                Conformidade               
                                                                Automático 
                                                                em Sistemas               
                                                                Embarcados. </b><i>Revista             
                                                                IEEE América             
                                                                Latina. </i>Vol.:6,                 
                                                                Iss.:3, July                 
                                                                2008, ISSN:                 
                                                                1548-0992.</p>
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Clélio Feitosa,                 
                                                                Glaucia Peres,                 
                                                                and Alexandre                 
                                                                Mota. <b>Unificando                 
                                                                Modelos de Casos 
                                                                de Teste e de 
                                                                Requisitos. </b><i>Revista                 
                                                                IEEE América <st1:City w:st="on">                
                                                                <st1:place                 
w:st="on">
                                                                Latina. </i>Vol.:6,                 
                                                                Iss.:3, July                 
                                                                2008, ISSN:                 
                                                                1548-0992.</p>
                                                                
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Lucas Lima,                  
                                                                Juliano Iyoda,                  
                                                                and Augusto                  
                                                                Sampaio. <b>A                  
                                                                Permutation  
                                                                Technique for  
                                                                Test Case  
                                                                Prioritization  
                                                                in a Black-box  
                                                                Environment. </b><i>2nd  
                                                                Brazilian  
                                                                Workshop on  
                                                                Systematic and  
                                                                Automated  
                                                                Software Testing  
                                                                (SBES/SAST  
                                                                2008). </i>October                             
                                                                13, 2008,                             
                                                                Campinas, São                             
                                                                Paulo, Brazil <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/A_Permutation_Technique_for_Test_Case_Prioritization_in_a_Black-box_Environment.pdf">[PDF]</a></p>      
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Eduardo Aranha,          
                                                                Filipe Almeida,          
                                                                Thiago Diniz,          
                                                                Vitor Fontes,          
                                                                and Paulo Borba.          
                                                                <b>Automated 
                                                                test execution 
                                                                effort 
                                                                estimation based 
                                                                on functional 
                                                                test 
                                                                specifications.</b><i> 
                                                                In Tools Session 
                                                                of the XXII 
                                                                Brazilian 
                                                                Symposium on 
                                                                Software 
                                                                Engineering (SBES 
                                                                2008),</i><span class="Apple-style-span" style="LINE-HEIGHT: normal; FONT-FAMILY: arial"> 
                                                                </span>Campinas,          
                                                                Brazil, October          
                                                                2008 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Automated_Test_Execution_Effort_Estimation_Based_on_Functional_Test_Specifications.pdf">[PDF]</a></p>      
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Francisco Neto,                         
                                                                Emanuela Cartaxo,                           
                                                                Patricia Machado, and João                           
                                                                Ouriques.                             
                                                                <b>Reducing the Size of Test Cases Based on Similarities. 
                                                                </b><i>2nd 
                                                                Brazilian 
                                                                Workshop on 
                                                                Systematic and 
                                                                Automated 
                                                                Software Testing 
                                                                (SBES/SAST 
                                                                2008). </i>October                             
                                                                13, 2008,                             
                                                                Campinas, São                             
                                                                Paulo, Brazil <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Reducing_the_Size_of_Test_Cases_Based_on_Similarities.pdf">[PDF]</a></p>      
                                                                
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Wilkerson                           
                                                                Andrade, and                           
                                                                Patricia                           
                                                                Machado. <b>Modeling and Testing Interruptions in Reactive Systems Using Symbolic                            
                                                                Models.</b> <i>2nd                             
                                                                Brazilian 
                                                                Workshop on 
                                                                Systematic and 
                                                                Automated 
                                                                Software Testing 
                                                                (SBES/SAST 
                                                                2008). </i>October                             
                                                                13, 2008,                             
                                                                Campinas, São                             
                                                                Paulo, Brazil <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Modeling_and_Testing_Interruptions_in_Reactive_Systems_Using_Symbolic_Models.pdf">[PDF]</a></p>   
                                                                
                                                                                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Emanuela Cartaxo,                                     
                                                                Patrícia                                
                                                                Machado, Francisco                                                                                  
                                                                Neto, and João                                
                                                                Ouriques.<b> 
                                                                Usando Funções                                
                                                                de Similaridade                                
                                                                para Redução                                
                                                                de Conjuntos de                                
                                                                Casos de Teste                                
                                                                em Estratégias                                
                                                                de Teste Baseado                                
                                                                em Modelos.</b> <i><span class="titulo-sbbd">22nd                                
                                                                Brazilian 
                                                                Symposium on 
                                                                Software 
                                                                Engineering (SBES 
                                                                2008).</span></i><span class="titulo-sbbd"> 
                                                                October 13-17,                                
                                                                2008, Campinas,                                
                                                                São Paulo,                                
                                                                Brazil.</span><b> 
                                                                </b><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Usando_Funes_de_Similaridade_para_Reduo_de_Conjuntos_de_Casos_de_Teste_em_Estratgias_de_Teste_Baseado_em_Modelos.pdf">[PDF]</a></p>
                                                                
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Rodrigo Bonifácio,                          
                                                                and Paulo Borba.                             
                                                                <b>Towards a 
                                                                Crosscutting 
                                                                Approach for 
                                                                Variability 
                                                                Management.</b> <i>SPLC                             
                                                                Doctoral 
                                                                Symposium. </i>September                             
                                                                8-12, 2008,                             
                                                                Limerick,                             
                                                                Ireland. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Towards_a_Crosscutting_Approach_for_Variability_Management.pdf">[PDF]</a></p>      
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Antonia                                     
                                                                Bertolino,&nbsp;                                     
                                                                Emanuela Cartaxo,                                     
                                                                Patrícia                                     
                                                                Machado, and Eda                                     
                                                                Marchetti. <strong>Weighting                                     
                                                                Influence of 
                                                                User Behavior in 
                                                                Software 
                                                                Validation.</strong> 
                                                                <em>1st                                     
                                                                International 
                                                                Workshop on 
                                                                Computer Users’ 
                                                                Behaviour 
                                                                (CUB08).</em>&nbsp;                                     
                                                                September 1-5, 2008,                                     
                                                                Turing, Italy.<em>&nbsp;</em><a #0000ff" href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Weighting_Influence_of_User_Behavior_in_Software_Validation.pdf"><font color="#0000ff">[PDF]</font></a></p>       
                                                                
                                                                                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Sidney                                   
                                                                Nogueira,                                   
                                                                Augusto Sampaio                                   
                                                                and Alexandre                                   
                                                                Mota. <strong>Guided Test Generation from CSP Models.</strong>                                   
                                                                <em>5th International Colloquium on Theoretical Aspects of Computing                                   
                                                                (ICTAC 2008).</em>&nbsp;                             
                                                                September 1-3, 2008,                                   
                                                                Istanbul, Turkey.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Guided_Test_Generation_from_CSP_Models.pdf" #0000ff"><font color="#0000ff">[PDF]</font></a></p>       
                                                                
                                                                                                                              
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Augusto Sampaio, Juliano Iyoda,             
                                                                and Flavia Falcao.             
                                                                <b>Multiple Synchrony in MSC.</b> 
                                                                <i>Brazilian             
                                                                Symposium on 
                                                                Formal Methods (SBMF 
                                                                2008)</i>.             
                                                                August 26-29,             
                                                                2008. Salvador,             
                                                                Bahia, Brazil. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Multiple_Synchrony_in_MSC.pdf">[PDF]</a></p>   
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Eduardo Aranha and Paulo Borba.                                                        
                                                                <strong>Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.</strong> 
                                                                <em>International Conference on Software Process 2008 (ICSP 2008).</em>&nbsp;                                     
                                                                May 10-11, 2008, Leipzig, Germany.<em>&nbsp;</em><a #0000ff" href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Using_Process_Simulation_to_Assess_the_Test_Design_Effort_Reduction_of_a_Model-Based_Testing_Approach.pdf"><font color="#0000ff">[PDF]</font></a></p>       
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Rodrigo Bonifácio, Paulo Borba and Sérgio Soares.                                                                         
                                                                <strong>On the Benefits of Scenario Variability as Crosscutting.</strong> 
                                                                <em>EA - Early Aspects Workshop (co-located with the Seventh International Conference on Aspect-Oriented Software Development).</em>&nbsp;                                                          
                                                                March 31st - April 4th, 2008, Brussels,  Belgium.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/On_the_Benefits_of_Scenario_Variability_as_Crosscutting.pdf"><font color="#0000ff">[PDF]</font></a></p>       
                                                                
                                                               
                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Emanuela                                                                                  
                                                                Cartaxo, Wilkerson                                                                         
                                                                Andrade, Francisco                                                                                  
                                                                Neto and Patrícia Machado.                                                                         
                                                                <strong>LTSBT: A 
                                                                Tool to Generate and Select Functional Test 
                                                                Cases for 
                                                                Embedded 
                                                                Systems.</strong> 
                                                                <em>23rd Annual                                                                         
                                                                ACM Symposium on 
                                                                Applied 
                                                                Computing 
                                                                (SAC'2008).</em>&nbsp;                                                                         
                                                                March 16-20,                                                                         
                                                                2008, Fortaleza,                                                                         
                                                                Ceará,                                                                                  
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/LTSBT_-_A_Tool_to_Generate_and_Select_Functional_Test_Cases_for_Embedded_Systems.pdf"><font color="#0000ff">[PDF]</font></a></p>
                                                                
                                                                                                                                
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Márcio Ribeiro, Pedro                                                                         
                                                                Matos and Paulo Borba.                                                                         
                                                                <strong>A Decision Model for Implementing Product Lines Variabilities.</strong> 
                                                                <em>23rd Annual                                                                         
                                                                ACM Symposium on 
                                                                Applied 
                                                                Computing 
                                                                (SAC'2008).</em>&nbsp;                                                                         
                                                                March 16-20,                                                                         
                                                                2008, Fortaleza,                                                                         
                                                                Ceará,                                                                                  
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/A_Decision_Model_for_Implementing_Product_Lines_Variabilities.pdf"><font color="#0000ff">[PDF]</font></a></p>
                                                                
                                                                                                                              
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Cristiano                                                
                                                                Bertolini and                                                
                                                                Alexandre Mota.                                                
                                                                <strong>Using 
                                                                Refinement 
                                                                Checking as 
                                                                System Testing.</strong> 
                                                                <em>11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).</em>&nbsp;                                                
                                                                February 11-15,                                                                         
                                                                2008, Recife,                                                
                                                                Pernambuco,                                                
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Using_Refinement_Checking_as_System_Testing.pdf"><font color="#0000ff">[PDF]</font></a></p>
                                                                
                                                                                                                               
                                                                <p style="margin-top: 0; margin-bottom: 0">
                                                                Clélio                                              
                                                                Feitosa, Glaucia                                              
                                                                Peres and                                                
                                                                Alexandre Mota. <strong>Unifying Models of Test Cases and Requirements.</strong>                                              
                                                                <em>11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008).</em>&nbsp;                                                
                                                                February 11-15,                                                                         
                                                                2008, Recife,                                                
                                                                Pernambuco,                                                
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Unifying_Models_of_Test_Cases_and_Requirements.pdf"><font color="#0000ff">[PDF]</font></a>
                                                                </p>
                                                                
                                                                <p>&nbsp;
                                                                </p>
                                                                <p><font size="4"><b><u>2007</u></b></font>
                                                                </p>
                                                                
                                                                <p>Sidney Nogueira, Emanuela Cartaxo, Dante Torres, Eduardo                                                                                  
                                                                Aranha and Rafael Marques.                                                                                  
                                                                <strong>Model Based Test Generation:  
                                                                An Industrial 
                                                                Experience.</strong> 
                                                                <i>First Brazilian Workshop on Systematic and Automated Software Testing</i><em>.</em>&nbsp;                                                                                  
                                                                October 19,                                                                                  
                                                                2007, João                                                                                  
                                                                Pessoa, Paraíba,                                                                                  
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Model_Based_Test_Generation_-_An_Industrial_Experience.pdf"><font color="#0000ff">[PDF]</font>
                                                                </a>
                                                                </p>
                                                                <p> Dante Torres, Eduardo                                                                                  
                                                                Aranha, Emanuela Cartaxo,                                                                                  
                                                                Sidney Nogueira,                                                                                  
                                                                Alexandre Mota, Augusto Sampaio, Flávia Barros, Patrícia                                                                                  
                                                                Machado and Paulo Borba.                                                                                  
                                                                <strong>Brazil Test Center Research Group.</strong> 
                                                                <i>First Brazilian Workshop on Systematic and Automated Software Testing                                                                                  
                                                                (Research Group Presentation Track)</i><em>.</em>&nbsp;                                                                                  
                                                                October 19,                                                                                  
                                                                2007, João                                                                                  
                                                                Pessoa, Paraíba,                                                                                  
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Brazil_Test_Center_Research_Group.pdf"><font color="#0000ff">[PDF]</font>
                                                                </a>
                                                                </p>
                                                                <p>Márcio Ribeiro, Pedro                                                                         
                                                                Matos, Paulo Borba                                                                                  
                                                                and Ivan Cardim.                                                                                  
                                                                <strong>On the Modularity of Aspect-Oriented and Other Techniques for Implementing Product Lines Variabilities.</strong> 
                                                                <i>II Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007)</i><em>.</em>&nbsp;                                                                                  
                                                                15 - 16 October, 2007, João Pessoa, Paraíba, Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/On_the_Modularity_of_Aspect-Oriented_and_Other_Techniques_for_Implementing_Product_Lines_Variabilities.pdf"><font color="#0000ff">[PDF]</font>                                                                               
                                                                </a>   
                                                                </p>
                                                                <p>Patrícia Machado                                                                                  
                                                                and Wilkerson Andrade.                                                                                  
                                                                <strong>The Oracle Problem for Testing against Quantified Properties.</strong> 
                                                                <i>International Workshop on Software Test Evaluation                                                                                  
                                                                (STEV 2007)</i><em>.</em>&nbsp;                                                                                  
                                                                October 12,                                                                                  
                                                                2007, Portland,                                                                                  
                                                                Oregon, USA.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/The_Oracle_Problem_for_Testing_against_Quantified_Properties.pdf"><font color="#0000ff">[PDF]</font></a>                                                                              
                                                                </p>
                                                                <p>Emanuela                                                                                  
                                                                Cartaxo, Francisco                                                                                  
                                                                Neto and Patrícia Machado.                                                                                  
                                                                <strong>Test Case Generation by means of UML Sequence Diagrams and Labeled Transition Systems.</strong> 
                                                                <i>IEEE                                                                                  
                                                                International 
                                                                Conference on 
                                                                Systems, Man, 
                                                                and Cybernetics 
                                                                (SMC 2007)</i><em>.</em>&nbsp;                                                                                  
                                                                7 - 10 October,                                                                                  
                                                                2007, Montreal,                                                                                  
                                                                Quebec, Canada.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Test_Case_Generation_by_means_of_UML_Sequence_Diagrams_and_Labeled_Transition_Systems.pdf"><font color="#0000ff">[PDF]</font> </a>                                                                              
                                                                </p>
                                                                <p>Gláucia                                                                                  
                                                                Peres and Alexandre Mota.                                                                                  
                                                                <strong>A Tool to Translate CSP Models into English Requirements.</strong> 
                                                                <i>Second                                                                                  
                                                                Brazilian 
                                                                Software Test 
                                                                Meeting (EBTS 
                                                                2007)</i><em>.</em>&nbsp;                                                                                  
                                                                6 - 7 October,                                                                                  
                                                                2007, Recife,                                                                                  
                                                                Pernambuco,                                                                                  
                                                                Brazil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/A_Tool_to_Translate_CSP_Models_into_English_Requirements.pdf"><font color="#0000ff">[PDF]</font></a>
                                                                </p>
                                                                <p>Borba, Paulo; Torres, Dante; Marques,  
                                                                Rafael; Wetzel,  
                                                                Luiz. <b>TaRGeT: Test and Requirements Generation  
                                                                Tool</b>. In <i> Motorola's 2007 Innovation Conference  
                                                                (IC'2007), Software Expo 
                                                                Session</i>, Lombard, Illinois, USA, October 5. 
                                                                <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Software_Expo_Submission_Form.doc"><font color="#0000ff">[DOC]</font></a>
                                                                </p>
                                                                <p>Emanuela                                                                                  
                                                                Cartaxo, Francisco                                                                                  
                                                                Neto and Patrícia Machado.                                                                                  
                                                                <strong>Test Case Selection Using Similarity Function.</strong> 
                                                                <i>Workshop on                                                                                  
                                                                Model-based 
                                                                Testing in 37th 
                                                                Annual Congress 
                                                                of the 
                                                                Gesellschaft 
                                                                fuer Informatik</i><em>.</em>&nbsp;                                                                                  
                                                                September 27,                                                                                  
                                                                2007, Bremen,                                                                                  
                                                                Germany.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Automated_Test_Case_Selection_Based_on_a_Similiraty_Function.pdf"><font color="#0000ff">[PDF]</font>
                                                                </a>
                                                                </p>
                                                                <p>Eduardo Aranha and Paulo Borba.                                                                                   
                                                                <strong>Estimation Model for Test Execution Effort.</strong> 
                                                                <em>International Symposium on Empirical Software Engineering and Measurement                                                                                   
                                                                (ESEM 2007). </em>20                                                                                   
                                                                - 21 September,                                                                                   
                                                                2007. Madrid,                                                                                   
                                                                Spain.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/An_Estimation_Model_for_Test_Execution_Effort.pdf"><font color="#0000FF">[PDF]</font></a>
                                                                </p>

                                                                <p>Laisa                                                                                   
                                                                Nascimento and Patricia Machado.                                                                                   
                                                                <strong>An Experimental Evaluation of Approaches to Feature Testing in the Mobile Phone Applications Domain.</strong> 
                                                                <em>Workshop on Domain-Specific Approaches to Software Test Automation                                                                                   
                                                                (ACM-DoSTA).</em>&nbsp;                                                                                  
                                                                September 4, 2007.                                                                                  
                                                                Dubrovnik,                                                                                  
                                                                Croatia.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/An_Experimental_Evaluation_of_Approaches_to_Feature_Testing_in_the_Mobile_Phone_Applications_Domain.pdf"><font color="#0000FF">[PDF]</font></a>
                                                                </p>
                                                                <p>Daniel Leitão, Dante Torres and Flávia Barros.                                                                                   
                                                                <strong>NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.</strong> 
                                                                <em>Nineteenth International Conference on Software Engineering and Knowledge Engineering                                                                                   
                                                                (SEKE'07). </em>9                                                                                   
                                                                - 11 July, 2007.                                                                                   
                                                                Boston, Massachusetts,                                                                               
                                                                USA. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/NLForSpec_-_Translating_Natural_Language_Descriptions_into_Formal_Test_Case_Specifications.pdf"><font color="#0000ff">[PDF]</font>                                                                             
                                                                </a>
                                                                </p>
                                                                <p>Wilkerson Andrade, Francisco                                                                                   
                                                                Neto e Patrícia                                                                                   
                                                                Machado. <strong>Geração de Casos de Teste de Interrupção para Aplicações de Celulares.</strong>                                                                                   
                                                                <em>Simpósio                                                                                   
                                                                Brasileiro de  
                                                                Redes de  
                                                                Computadores e  
                                                                Sistemas  
                                                                Distribuídos (SBRC'2007),  
                                                                Workshop de  
                                                                Teste e Tolerância  
                                                                a Falhas. </em>28                                                                                   
                                                                de Maio a 01 de                                                                                   
                                                                Junho, 2007. Belém,                                                                                   
                                                                Pará, Brasil.<em>&nbsp;</em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Gerao_de_Casos_de_Teste_de_Interrupo_para_Aplicaes_de_Celulares.pdf"><font color="#0000ff">[PDF]</font></a>                                                                                                                                                        
                                                                <i><font color="#FF0000">(portuguese)</font></i>                                                                    
                                                                </p>
                                                                <p>&nbsp;
                                                                </p>
                                                                <p>
                                                                <font size="4"><b><u>2006</u></b></font>
                                                                </p>
                                                                <p>Elifrancis                                                                                    
                                                                Soares and&nbsp;Alexandre                                                                                    
                                                                Vasconcelos. <strong>Adaptando                                                                               
                                                                o RUP para Análise                                                                               
                                                                de Cobertura de                                                                               
                                                                Código. </strong><em>I                                                                                    
                                                                SBTS – Simpósio                                                                                    
                                                                Brasileiro de                                                                                    
                                                                Testes de                                                                                    
                                                                Software</em><strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Adaptando_o_RUP_para_Anlise_de_Cobertura_de_Cdigo.doc"><font color="#0000ff">[DOC]</font>
                                                                </a><i><font color="#FF0000">(portuguese)</font></i>   
                                                                <p align="left">Flávia                                                                                    
                                                                Barros, Dante                                                                                    
                                                                Torres and&nbsp;Daniel                                                                                    
                                                                Leitao. <strong>Motorola                                                                                    
                                                                SpecNL: a Hybrid 
                                                                System to 
                                                                Generate NL 
                                                                Descriptions 
                                                                from Test Case 
                                                                Specifications.</strong> 
                                                                <em>6th                                                                                    
                                                                International 
                                                                Conference on 
                                                                Hybrid 
                                                                Intelligent 
                                                                Systems (HIS 
                                                                06') and 4th 
                                                                Conference on 
                                                                Neuro-Computing 
                                                                and Evolving 
                                                                Intelligence (NCEI 
                                                                06'). </em><span class="heading2">13-15 
                                                                December 2006, 
                                                                AUT Technology 
                                                                Park, Auckland, 
                                                                New Zealand.</span><em> 
                                                                </em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/SpecNL_-_Generating_NL_Descriptions_from_Test_Case_Specifications.pdf"><font color="#0000ff">[PDF]</font></a>
                                                                <p align="left">Figueiredo, André; Patrícia, Machado; Andrade, Wilkerson.                                                                              
                                                                <b> Generating Integration Test Cases for Mobile Phone Systems from Use Case 
                                                                Specifications</b>.                                                                              
                                                                <i>2nd Workshop on Advances in Model-based Software Testing (A-Most'06) in the 17th IEEE International Symposium on Software Reliability 
                                                                Engineering</i>. November 7, 2006, Raleigh, North Carolina, USA    
                                                                <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Generating_Integration_Test_Cases_for_Mobile_Phone_Systems_from_Use_Case_Specifications.pdf"><font color="#0000FF">[PDF]</font></a>
                                                                <p>Eduardo                                                                                    
                                                                Aranha, Paulo                                                                                    
                                                                Borba and&nbsp;José                                                                                    
                                                                Mario Lima. <strong>Model Simulation for Test Execution Capacity Estimation.</strong>                                                                                
                                                                <em>The 17th                                                                                   
                                                                IEEE  
                                                                International  
                                                                Symposium on  
                                                                Software  
                                                                Reliability  
                                                                Engineering (ISSRE  
                                                                2006). </em>6-10                                                                                    
                                                                November 2006 -                                                                                    
                                                                Raleigh, North                                                                                    
                                                                Carolina, USA.<em>                                                                                    
                                                                </em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Model_Simulation_for_Test_Execution_Capacity_Estimation.doc"><font color="#0000ff">[DOC]</font></a>
                                                                <p>Eduardo      
                                                                Aranha and Paulo      
                                                                Borba. <strong>Measuring      
                                                                Test Execution 
                                                                Complexity.</strong> 
                                                                <em>2nd      
                                                                International  
                                                                PRedictOr Models  
                                                                In Software  
                                                                Engineering  
                                                                Workshop (PROMISE  
                                                                2006). </em>September      
                                                                24, 2006,    
                                                                Philadelphia,      
                                                                Pennsylvania      
                                                                USA.
                                                                <p>Patricia                                                                                    
                                                                Ferreira,                                                                                    
                                                                Augusto Sampaio                                                                                    
                                                                and&nbsp;Alexandre                                                                                    
                                                                Mota. <strong>Viewing                                                                                    
                                                                CSP 
                                                                Specification   
                                                                with UML-RT 
                                                                Diagrams.</strong> 
                                                                <em>Brazilian                                                                                    
                                                                Symposium on  
                                                                Formal Methods (SBMF  
                                                                2006). </em>17 -                                                                                   
                                                                23 September,                                                                                    
                                                                2006. Natal, RN,                                                                                    
                                                                Brazil.<em> </em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Viewing_CSP_specifications_with_UML-RT_diagrams.pdf"><font color="#0000ff">[PDF]</font>
                                                                </a>
                                                                <p>Gustavo                                                                                    
                                                                Cabral and&nbsp;Augusto                                                                                    
                                                                Sampaio. <strong>Formal                                                                               
                                                                Specification 
                                                                Generation from 
                                                                Requirement 
                                                                Documents.</strong> 
                                                                <em>Brazilian                                                                                    
                                                                Symposium on  
                                                                Formal Methods (SBMF  
                                                                2006). </em>17 -                                                                                   
                                                                23 September,                                                                                    
                                                                2006. Natal, RN,                                                                                    
                                                                Brazil.<em> </em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Formal_Specification_Generation_from_Requirement_Documents.pdf"><font color="#0000ff">[PDF]</font></a>
                                                                <p>Eduardo                                                                                    
                                                                Aranha&nbsp;and&nbsp;Paulo                                                                                    
                                                                Borba. <strong>Considering                                                                                    
                                                                test execution 
                                                                complexity for 
                                                                estimation test 
                                                                execution effort: 
                                                                Research plan.</strong> 
                                                                <em>1st                                                                                    
                                                                International 
                                                                Doctoral 
                                                                Symposium on 
                                                                Empirical 
                                                                Software 
                                                                Engineering (IDoESE 
                                                                2006). </em>September                                                                                    
                                                                20, 2006, Rio de                                                                                    
                                                                Janeiro, Brazil.<em>                                                                                    
                                                                </em>
                                                                <p>Paulo Borba,     
                                                                Dante Torres,     
                                                                Rafael Marques     
                                                                and Jose Mario     
                                                                Lima. <strong>TaRGeT     
                                                                - Test and 
                                                                Requirement 
                                                                Generation Tool.</strong> 
                                                                <em>Motorola S3     
                                                                Symposium - 
                                                                Internal Tools 
                                                                Fair. </em>September     
                                                                12, 2006, Itasca,     
                                                                Illinois.<em> </em><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Internal_Tools_Fair_Submission_Form.doc"><font color="#0000ff">[DOC]</font></a></p>
                                                                <p>Elifrancis                                                                                  
                                                                Soares and                                                                                  
                                                                Alexandre                                                                                  
                                                                Vasconcelos. <strong>Um                                                                                    
                                                                processo de     
                                                                teste de     
                                                                cobertura     
                                                                alinhado ao     
                                                                processo de     
                                                                desenvolvimento     
                                                                de software em    
                                                                aplicações     
                                                                embarcadas.</strong><em> 
                                                                IV Workshop de                                                                                  
                                                                Teses e Dissertações                                                                                  
                                                                em Qualidade de                                                                                  
                                                                Software (WTDQS                                                                                  
                                                                2006), </em>31                                                                                  
                                                                de maio de 2006                                                                                  
                                                                - Vila Velha -                                                                                  
                                                                ES. <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Um_Processo_de_Anlise_de_Cobertura_alinhado_ao_Processo_de_Desenvolvimento_de_Software_em_Aplicaes_Embarcadas.pdf"><font color="#0000ff">[PDF]                                                                            
                                                                </font></a> <i><font color="#FF0000">(portuguese)</font></i></p>   
                                                                <p>Augusto        
                                                                Sampaio. <strong>Test        
                                                                sequence 
                                                                generation from 
                                                                process algebra 
                                                                use models.</strong> 
                                                                <em>International        
                                                                Federation for  
                                                                Information  
                                                                Processing -  
                                                                Working Group  
                                                                2.3 (Programming  
                                                                Methodology).  
                                                                IFIP WG 2.3  
                                                                meeting 45. </em>13-17       
                                                                March 2006. Bruges,        
                                                                Belgium.
                                                                <p>&nbsp;
                                                        </td>
                                                </tr>
                                        </table>
                                        <!-- end: Basic Copy -->
                                        <!-- begin: Page Sub Header (color 1) -->
                                        <table class="PageSubHeader1" cellSpacing="0" cellPadding="0" width="100%" summary="Layout table for Page Sub Header module." border="0">
                                                <tr class="bg">
                                                        <td class="flag">&nbsp;</td>
                                                        <td class="banner" width="100%"><h2>Dissertations</h2></td>    
                                                </tr>
                                        </table>
                                        <!-- end: Page Sub Header (color 1) -->
                                        <!-- begin: Basic Copy -->
                                        <table width="100%" cellpadding="0" cellspacing="0" border="0" class="BasicCopy" summary="Layout table for Basic Copy module.">
                                                <tr>
                                                        <td class="copy">
                                                                <p>&nbsp;</p>

                                                                 <p>
                                                                <font size="4"><b><u>2010</u></b></font></p>
                                                                <p>
                                                                <p>Leopoldo Texeira.                               
                                                                <b>Verification and Refactoring of Configuration Knowledge for Software Product Lines.</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Pernambuco, January
                                                                2010                                       
                                                                </p>
                                                                
                                                                <p>&nbsp;</p>
                                                                <font size="4"><b><u>2009</u></b></font></p>

                                                                <p>Lucas Lima.                               
                                                                <b>Test Case Prioritization Based on Data Reuse for Black-box Environments.</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Pernambuco, August
                                                                2009 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Dissertacao_Mestrado_Lucas_Lima.pdf">[PDF]</a>                             
                                                                </p>

                                                                <p>Makelli Jucá.                               
                                                                <b>Uma estratégia para a escrita de cenários de casos de uso voltados à geração automática de casos de teste</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Campina Grande, May
                                                                2009  <i><font color="#FF0000">(portuguese)</font></i>                                       
                                                                </p>

                                                               
                                                                <p>Leonardo Lima.                               
                                                                <b>Class-Test: Classificação automática de testes para auxílio à criação de suítes de teste</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Pernambuco, April                               
                                                                2009 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Dissertacao-Leonardo-Lima-final.pdf">[PDF]</a> <i><font color="#FF0000">(portuguese)</font></i>                                       
                                                                </p>
                                                                
                                                                <p>Glaucia Peres.                               
                                                                <b>A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Pernambuco, February                               
                                                                2009 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/dissertacao_GlauciaPeres.pdf">[PDF]</a>                                        
                                                                </p>
                                                                <p>&nbsp;</p>
                                                                <p>
                                                                <font size="4"><b><u>2008</u></b></font></p>
                                                                <p>Davi Gadelha.                               
                                                                <b>EvolUniT: Geração e Evolução de Testes de Unidade em Java utilizando Algoritmos Genéticos.</b>                               
                                                                Federal                               
                                                                University of                               
                                                                Pernambuco, July                               
                                                                2008 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/EvolUniT_-_Gerao_e_Evoluo_de_Testes_de_Unidade_em_Java_utilizando_Algoritmos_Genticos.pdf">[PDF]</a> <i><font color="#FF0000">(portuguese)</font></i>                                       
                                                                </p>
                                                                <p>João dos                               
                                                                Prazeres. <strong>NLScripts:                    
                                                                Composição 
                                                                Assistida de 
                                                                Scripts de 
                                                                Testes a Partir de 
                                                                Descrições em 
                                                                Linguagem 
                                                                Natural.                                  
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Pernambuco,                               
                                                                June 2008&nbsp;<a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/NLScripts_-_Composio_Assistida_de_Scripts_de_Testes_a_Partir_de_Descries_em_Linguagem_Natural.pdf">[PDF]</a>                               
                                                                <i><font color="#FF0000">(portuguese)</font></i>                                 
                                                                </p>
                                                                <p>Laísa Nascimento. <strong>Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas.                                                       
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Campina                                                     
                                                                Grande, February                                                     
                                                                2008&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Abordagens_para_Avaliao_Experimental_de_Teste_Baseado_em_Modelos_de_Aplicaes_Reativas.pdf"><span style="color: blue">[PDF]</span></a><span style="color: blue">                 
                                                                </span>          
                                                                <i><font color="#FF0000">(portuguese)</font></i>&nbsp;<o:p>         
                                                                </p>
                                                                <p>Márcio Ribeiro. <strong>Restructuring Test Variabilities in Software Product Lines.                                                     
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Pernambuco,                                                                         
                                                                February 2008&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Restructuring_Test_Variabilities_in_Software_Product_Lines.pdf"><span style="color: blue">[PDF]</span></a>                                                                          
                                                                </p>
                                                                <p></p>
<p>&nbsp;</p>
                                                                <p>
                                                                <font size="4"><b><u>2007</u></b></font></p>
                                                                <p>Euclides N.                                          
                                                                Arcoverde Neto. <strong>Abordagem                                          
                                                                para Geração 
                                                                Automática de Código 
                                                                para Framework 
                                                                de Automação 
                                                                de Testes.  
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                               
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Pernambuco                                                                                 
                                                                , Agosto 2007&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Abordagem_para_Gerao_Automtica_de_Cdigo_para_Framework_de_Automao_de_Testes.pdf"><span style="color: blue">[PDF]</span></a><span style="color: blue">                                                                     
                                                                </span>          
                                                                <i><font color="#FF0000">(portuguese)</font></i>&nbsp;<o:p>         
                                                                </p>
                                                                <p>Elifrancis                                                                         
                                                                Soares. <strong>Adaptação                                                                         
                                                                do Processo de 
                                                                Desenvolvimento 
                                                                de Software para 
                                                                a Análise de 
                                                                Cobertura de Código. 
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Pernambuco                                                                                 
                                                                , May 2007&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Adaptao_do_Processo_de_Desenvolvimento_de_Software_para_Anlise_de_Cobertura_de_Cdigo.pdf"><span style="color: blue">[PDF]</span></a><span style="color: blue">                                                                      
                                                                </span>          
                                                                <i><font color="#FF0000">(portuguese)</font></i>&nbsp;<o:p>         
                                                                </p>

                                                                <p>Clélio                                                                         
                                                                Feitosa. <strong>Modelling                                                                         
                                                                and Integrating 
                                                                Formal Models: 
                                                                from Test Cases 
                                                                and Requirements 
                                                                Models.  
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Pernambuco,                                                                         
                                                                May 2007&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Modelling_and_Integrating_Formal_Models_-_from_Test_Cases_and_Requirements_Models.pdf"><span style="color: blue">[PDF]</span></a>                                                                             
                                                                </p>
                                                                <p>Wilkerson Andrade. <strong>Geração de Casos de Teste de Interação para Aplicações de Celulares.                                                       
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of Campina Grande, March 2007&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Gerao_de_Casos_de_Teste_de_Interao_para_Aplicaes_de_Celulares.pdf"><span style="color: blue">[PDF]</span></a><span style="color: blue">                                                                      
                                                                </span>          
                                                                <i><font color="#FF0000">(portuguese)</font></i>                        
                                                                </p>
                                                                <p>&nbsp;                        
                                                                </p>
                                                                <p>
                                                                <font size="4"><b><u>2006</u></b></font><o:p>                        
                                                                </p>
                                                                <p>Emanuela                                                                                   
                                                                Gadelha. <strong>Geração de Casos de Teste Funcional para Aplicações de Celulares.                                                                          
                                                                </strong><st1:PlaceName w:st="on">
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                of <st1:place w:st="on">                                                                                  
                                                                <st1:City                                                                                  
 w:st="on">
                                                                Campina Grande</st1:City>                                                                                  
                                                                </st1:place>                                                                                  
                                                                , October 2006&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Gerao_de_Casos_de_Teste_Funcional_para_Aplicaes_de_Celulares.pdf"><span style="color:blue">[PDF]</span></a><o:p>                                                                                
                                                                <i><font color="#FF0000">(portuguese)</font></i>&nbsp;</p>                                                             
                                                                <p>Sidney                                                                                   
                                                                Nogueira. <strong>Geração Automática de Casos de Teste CSP Orientada por Propósitos.</strong>                                                                          
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                </st1:place>                                                                                  
                                                                of Pernambuco,&nbsp;September                                                                                   
                                                                2006&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Gerao_Automtica_de_Casos_de_Teste_CSP_Orientada_por_Propsitos.pdf"><span style="color:blue">[PDF]</span><o:p></a><i><font color="#FF0000"> 
                                                                (portuguese)</font></i></o:p>        
                                                                </p>
                                                                <p>Dante                                                                                   
                                                                Torres. <strong>SpecNL: Uma Ferramenta para Gerar Descrições em Linguagem Natural a partir de Especificações de Casos de Teste.</strong>                                                                          
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                </st1:place>                                                                                  
                                                                of Pernambuco,                                                                                   
                                                                September 2006&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/SpecNL_-_Uma_Ferramenta_para_Gerar_Descries_em_Linguagem_Natural_a_partir_de_Especificaes_de_Casos_de_Teste.pdf"><span style="color:blue">[PDF]</span><o:p></a><i><font color="#FF0000">                                                                        
                                                                (portuguese)</font></i></o:p>        
                                                                </p>
                                                                <p>Daniel                                                                                   
                                                                Leitão. <b>NLForSpec: Uma Ferramenta para Geração de Especificações Formais a Partir de Casos de Teste em Linguagem Natural.</b>                                                                          
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                </st1:place>                                                                                  
                                                                of Pernambuco,                                                                                   
                                                                September 2006&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/NLForSpec_-_Uma_Ferramenta_para_Gerao_de_Especificaes_Formais_a_Partir_de_Casos_de_Teste_em_Linguagem_Natural.pdf"><span style="color:blue">[PDF]</span></a><o:p></o:p>                                                                                
                                                                <i><font color="#FF0000">(portuguese)</font></i>                                                                     
                                                                </p>
                                                                <p>Gustavo                                                                                   
                                                                Cabral. <strong>Formal                                                                                   
                                                                Specification  
                                                                Generation from  
                                                                Requirement  
                                                                Documents.</strong> 
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                </st1:place>                                                                                  
                                                                of Pernambuco,                                                                                   
                                                                September 2006&nbsp;<strong>&nbsp;</strong><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Formal_Specification_Generation_from_Requirement_Documents.pdf"><span style="color:blue">[PDF]</span></a><a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Formal_Specification_Generation_from_Requirement_Documents.pdf"><o:p></a></o:p>                                                                                
                                                                </p>
                                                                <p>
                                                                Patrícia Muniz.                                                             
                                                                <span style="font-family: Times New Roman; mso-fareast-font-family: Times New Roman; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA"> </span><strong>Geração Automática de Diagramas UML-RT a partir de Especificações CSP.</strong>               
                                                                Federal</st1:PlaceName>                                                                                 
                                                                <st1:PlaceType w:st="on">                                                                                  
                                                                University</st1:PlaceType>                                                                                  
                                                                </st1:place>                                                                                  
                                                                of Pernambuco,                                                                                   
                                                                September 2006 &nbsp;<a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Gerao_Automtica_de_Diagramas_UML-RT_a_partir_de_Especificaes_CSP.pdf"><span style="color:blue">[PDF]</span></a>                                                                         
                                                                <i><font color="#FF0000">(portuguese)</font></i></p>                                                          
                                                                <p>
                                                                <br />
                                                               
                                                                </p>
                                                               
                                                        </td>
                                                </tr>
                                        </table>
<table class="PageSubHeader1" cellSpacing="0" cellPadding="0" width="100%" summary="Layout table for Page Sub Header module." border="0">
                                                <tr class="bg">
                                                        <td class="flag">&nbsp;</td>
                                                        <td class="banner" width="100%"><h2>Thesis</h2></td>    
                                                </tr>
                                        </table>
                                        <tr>
                                                        <td class="copy">
                                                                <p>&nbsp;</p>
                                                                <p>
                                                                <font size="4"><b><u>2009</u></b></font></p>
                                                                <p>Eduardo  
                                                                Aranha. <strong>Estimating  
                                                                Test Execution 
                                                                Effort Based on 
                                                                Test 
                                                                Specifications. </strong>Federal                            
                                                                University of                            
                                                                Pernambuco,  
                                                                January 2009 <a href="http://twiki.cin.ufpe.br/twiki/pub/CInBTCResearchProject/PublicationsCInBTC/Estimating_Test_Execution_Effort_Based_on_Test_Specifications.pdf">[PDF]</a>                                  
                                                                </p>
<p>&nbsp;</p>
<p>&nbsp;</p>
Topic revision: r14 - 2010-02-19 - LaisNeves
CInBTCResearchProject