research.html

<!DOCTYPE html>
<html>

<head>
    <title>The Software Design Lab: Research Projects</title>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
    <script
			  src="https://code.jquery.com/jquery-3.3.1.min.js"
			  integrity="sha256-FgpCb/KJQlLNfOu91ta32o/NMZxltwRo8QtmkMRdAu8="
			  crossorigin="anonymous"></script>
    <script src="/js/popper.min.js" integrity="sha384-ZMP7rVo3mIykV+2+9J3UJ46jBk0WLaUAdn689aCwoqbBJiSnjAK/l8WvCWPIPm49" crossorigin="anonymous"></script>
    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/js/bootstrap.min.js" integrity="sha384-ChfqqxuZUCnJSK3+MXmPNIyE6ZbWh2IMqE241rYiqJxyMiZ6OW/JmZQ5stwEULTy" crossorigin="anonymous"></script>
    <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous">
    <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.7.0/css/font-awesome.min.css">
    <link rel="stylesheet" href="/css/group.css">
    <link rel="shortcut icon" href="/img/tsdl.ico" type="image/x-icon">
    <link rel="stylesheet" href="/css/flipster.min.css">
</head>

<body>
    <nav class="navbar navbar-expand-md navbar-dark bg-dark">
        <div class="container" style="font-size: 1.35em !important;">
            <div class="navbar-brand" style="font-size: 1.3em !important;">
                <!--The Software Design Lab-->
                <a href="/" class="">
                    <img src="/img/tsdlFondosOscuros.png" alt="TESDLA" id="logo">
                </a>
            </div>
            <div class="collapse navbar-collapse">
                <ul class="navbar-nav ml-auto">

                         
                    <li class="nav-item ">
                        <a class="nav-link" href="/">
                            Home
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/people.html">
                            People
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/teaching.html">
                            Teaching
                        </a>
                    </li>

                        
                    <li class="nav-item active">
                        <a class="nav-link" href="/research.html">
                            Research
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/development.html">
                            Development
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/publications.html">
                            Publications
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/code.html">
                            Code
                        </a>
                    </li>

                        
                    <li class="nav-item ">
                        <a class="nav-link" href="/contact.html">
                            Contact
                        </a>
                    </li>

                    
                </ul>
            </div>
        </div>
    </nav>
    <div class="container body-container" style="padding-top: 20px">
        <!-- This is a bit nasty, but it basically says be a column first, and on larger screens be a spaced out row -->
          <!--<div class="card-columns">-->
    
    
    <div class="row">
        <div class="col-lg-5" style="background-color: #33a5db; color: white; padding-top: 10px">
            <h1>Automated Software Engineering</h1>
        </div>
    </div>        
                <div class="card-body">
                        
                        <div class="card-columns">
                        
                             
<div class="card">
    
    	<div class="card-header">
	        <h5>Zilicio: An Automation Framework for Rapid Native Mobile Application Development</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/zilicio-project.html"> -->
                    <img class="project-image" src="/img/project-images/zilicio.png" alt="Zilicio: An Automation Framework for Rapid Native Mobile Application Development"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            Zilicio, an automation framework that allows inexperienced and experienced developers to build real world apps in minutes for the two dominant mobile platforms. Zilicio creates both Android and iOS versions of a mobile application, which is connected to an automatically generated RESTful backend, all through a friendly end-user web application.
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Samuel Salazar"
             title="Samuel Salazar"
             src="/img/people/fotoSamuelSalazar.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="https://slinan.github.io/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Santiago Liñán"
             title="Santiago Liñán"
             src="/img/people/fotoSantiagoLinan.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Valeria Vanegas"
             title="Valeria Vanegas"
             src="/img/people/valeria.jpg" />
    

                </div>
            
        </div>
    
</div>

                            
<div class="card">
    
    	<div class="card-header">
	        <h5>Automatic Analysis of Closed-Source Mobile Apps to support Software Engineering Tasks</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/aaosmasset-project.html"> -->
                    <img class="project-image" src="/img/project-images/closed.png" alt="Automatic Analysis of Closed-Source Mobile Apps to support Software Engineering Tasks"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            The amount of android applications is having a tremendous increasing trend, leading the mobile software market to exert pressure over practitioners and researchers about several topics like application quality, frequent releases, and quick fixing of bugs. Because of this, mobile app development process requires of improving the release cycles. Therefore, the automation of software engineering tasks has become a top research topic. As a result of this research interest, several automated approaches have been proposed to support software engineering tasks. Specifically for this research we explore the possibility of performing automated software engineering tasks using APKs as entry instead of source code.
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
    <a href="http://caev03.github.io"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Camilo Escobar-Velásquez"
             title="Camilo Escobar-Velásquez"
             src="/img/people/fotoCamiloEscobarV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Michael Osorio"
             title="Michael Osorio"
             src="/img/people/michaelOsorio.jpg" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Diego Riveros"
             title="Diego Riveros"
             src="/img/people/avatar2.png" />
    

                </div>
            
                <div>
                    
                    
    <a href="https://profesores.virtual.uniandes.edu.co/mlinaresv/en/inicio-en/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Mario Linares-Vásquez"
             title="Mario Linares-Vásquez"
             src="/img/people/fotoMarioLinaresV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.inf.usi.ch/faculty/bavota/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Gabriele Bavota"
             title="Gabriele Bavota"
             src="/img/people/fotoGabrieleBavota.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.christophervendome.com"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Christopher Vendome"
             title="Christopher Vendome"
             src="/img/people/fotoChristopherV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.ing.unisannio.it/mdipenta/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Massimiliano Di Penta"
             title="Massimiliano Di Penta"
             src="/img/people/dipenta.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.cs.wm.edu/~denys/index.html"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Denys Poshyvanyk"
             title="Denys Poshyvanyk"
             src="/img/people/fotoDenys.jpg" />
    
    </a>


                </div>
            
        </div>
    
</div>

                            
                        </div>
                </div>
    

    <div class="row">
        <div class="col-lg-5" style="background-color: #33a5db; color: white; padding-top: 10px">
            <h1>Quality Attributes in Mobile Apps</h1>
        </div>
    </div>        
                <div class="card-body">
                        
                        <div class="card-columns">
                        
                             
<div class="card">
    
    	<div class="card-header">
	        <h5>Security Vulnerabilities in Mobile Apps</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/security_vulnerabilities.html"> -->
                    <img class="project-image" src="/img/project-images/vulnera.png" alt="Security Vulnerabilities in Mobile Apps"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            Study on "Security Vulnerabilities" found in mobile applications. There are two open projects":" first one study top Finance android applications from Google play and second one study vulnerabilties published in android bulletins.
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
    <a href="https://profesores.virtual.uniandes.edu.co/mlinaresv/en/inicio-en/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Mario Linares-Vásquez"
             title="Mario Linares-Vásquez"
             src="/img/people/fotoMarioLinaresV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.inf.usi.ch/faculty/bavota/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Gabriele Bavota"
             title="Gabriele Bavota"
             src="/img/people/fotoGabrieleBavota.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="https://profesores.virtual.uniandes.edu.co/sarueda/en/inicio-en/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Sandra Rueda"
             title="Sandra Rueda"
             src="/img/people/fotoSandraRueda.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="https://www.inf.usi.ch/phd/mazuerarozo/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Alejandro Mazuera-Rozo"
             title="Alejandro Mazuera-Rozo"
             src="/img/people/fotoAlejandroMazuera.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Laura Bello (Alumni)"
             title="Laura Bello (Alumni)"
             src="/img/people/fotoLauraBello.jpg" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Camilo Ortiz-Casas"
             title="Camilo Ortiz-Casas"
             src="/img/people/avatar2.png" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Santiago Saenz"
             title="Santiago Saenz"
             src="/img/people/fotoSantiagoSaenz.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="http://caev03.github.io"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Camilo Escobar-Velásquez"
             title="Camilo Escobar-Velásquez"
             src="/img/people/fotoCamiloEscobarV.jpg" />
    
    </a>


                </div>
            
        </div>
    
</div>

                            
<div class="card">
    
    	<div class="card-header">
	        <h5>Eventual Connectivity on Android Apps</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/eventual-connectivity.html"> -->
                    <img class="project-image" src="/img/project-images/event.png" alt="Eventual Connectivity on Android Apps"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            Study on "Eventual Connectivity" Issues exhibited by Android apps in-the-wild. By manually executing and inspecting 50 open source Android apps we build a catalog of (i) bad practices/issues, and (ii) hybrid practices that are exhibited dynamically by Android apps and could affect users perceived quality. The execution was based on 986 scenarios we designed (in total) for the 50 apps. We found 316 instances of 10 categories of "eventual connectivity" issues (which account for an average of 6.32 issues per app), and 4 instances of two categories of hybrid practices.
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
    <a href="http://caev03.github.io"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Camilo Escobar-Velásquez"
             title="Camilo Escobar-Velásquez"
             src="/img/people/fotoCamiloEscobarV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Michael Osorio"
             title="Michael Osorio"
             src="/img/people/michaelOsorio.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="https://profesores.virtual.uniandes.edu.co/mlinaresv/en/inicio-en/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Mario Linares-Vásquez"
             title="Mario Linares-Vásquez"
             src="/img/people/fotoMarioLinaresV.jpg" />
    
    </a>


                </div>
            
        </div>
    
</div>

                            
                        </div>
                </div>
    

    <div class="row">
        <div class="col-lg-5" style="background-color: #33a5db; color: white; padding-top: 10px">
            <h1>Software Testing</h1>
        </div>
    </div>        
                <div class="card-body">
                        
                        <div class="card-columns">
                        
                             
<div class="card">
    
    	<div class="card-header">
	        <h5>Mutation Testing</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/mutationTesting.html"> -->
                    <img class="project-image" src="/img/project-images/mutation.png" alt="Mutation Testing"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            Mutation Testing is a type of software testing where we mutate (change) certain statements in the source code and check if the test cases are able to find the errors. It is a type of White Box Testing which is mainly used for Unit Testing. The changes in mutant program are kept extremely small, so it does not affect the overall objective of the program. In this moment, we have open projects in NodeJS and Android Framework
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
    <a href="https://profesores.virtual.uniandes.edu.co/mlinaresv/en/inicio-en/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Mario Linares-Vásquez"
             title="Mario Linares-Vásquez"
             src="/img/people/fotoMarioLinaresV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://caev03.github.io"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Camilo Escobar-Velásquez"
             title="Camilo Escobar-Velásquez"
             src="/img/people/fotoCamiloEscobarV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Michael Osorio"
             title="Michael Osorio"
             src="/img/people/michaelOsorio.jpg" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Diego Rodríguez-Baquero"
             title="Diego Rodríguez-Baquero"
             src="/img/people/fotoDiegoRodriguez.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="http://www.inf.usi.ch/faculty/bavota/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Gabriele Bavota"
             title="Gabriele Bavota"
             src="/img/people/fotoGabrieleBavota.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.ing.unisannio.it/mdipenta/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Massimiliano Di Penta"
             title="Massimiliano Di Penta"
             src="/img/people/dipenta.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
    <a href="http://www.cs.wm.edu/~denys/index.html"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Denys Poshyvanyk"
             title="Denys Poshyvanyk"
             src="/img/people/fotoDenys.jpg" />
    
    </a>


                </div>
            
        </div>
    
</div>

                            
<div class="card">
    
    	<div class="card-header">
	        <h5>Multi Model Testing of Android Apps</h5>
    	</div>
    
    <div class="card-body">
        
	
            <div style="width: 100%; text-align: center">
                <!-- <a href="/rschprojects/multi-model-testing-project.html"> -->
                    <img class="project-image" src="/img/project-images/rip.png" alt="Multi Model Testing of Android Apps"/>
                <!-- </a> -->
            </div>
    
    
        <div class="card-text">
            Models based testing enables software developers to derive abstract tests from a system representation. Inherently, mobile applications have multiple models that represent them, such as the domain model, usage model, GUI model or context model. Different models condense different but complementary information that can be mixed into a single and enriched multi-model. Taking advantage of the flexibility the Android Platform gives to developers it is possible to programatically and automatically extract these models from dynamic and static analyses of an application's source code. Eventually, a complete test suite can be generated from the multi-model, which includes as many factors as the input models have.
        </div>
        
    </div>
    
        <div class="card-footer d-flex flex-row flex-wrap justify-content-center" style="background-color: #33a5db">
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Maria Arevalo"
             title="Maria Arevalo"
             src="/img/people/fotoMariaArevalo.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="http://caev03.github.io"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Camilo Escobar-Velásquez"
             title="Camilo Escobar-Velásquez"
             src="/img/people/fotoCamiloEscobarV.jpg" />
    
    </a>


                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Juan Manuel Dominguez"
             title="Juan Manuel Dominguez"
             src="/img/people/avatar2.png" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Andrés Lopez"
             title="Andrés Lopez"
             src="/img/people/avatar2.png" />
    

                </div>
            
                <div>
                    
                    
        <img class="rounded-circle profile"
             alt="Laura Bello (Alumni)"
             title="Laura Bello (Alumni)"
             src="/img/people/fotoLauraBello.jpg" />
    

                </div>
            
                <div>
                    
                    
    <a href="https://slinan.github.io/"
       style="text-decoration: none">
        
        <img class="rounded-circle profile"
             alt="Santiago Liñán"
             title="Santiago Liñán"
             src="/img/people/fotoSantiagoLinan.jpg" />
    
    </a>


                </div>
            
        </div>
    
</div>

                            
                        </div>
                </div>
    
<!--</div>-->


    </div>
    <!-- /container -->

    <!-- Support retina images. -->
</body>

<script type="text/javascript" src="/js/srcset-polyfill.js"></script>


</html>