Person:
Caballero Roldán, Rafael

Loading...
Profile Picture
First Name
Rafael
Last Name
Caballero Roldán
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Lenguajes y Sistemas Informáticos
Identifiers
UCM identifierORCIDScopus Author IDDialnet IDGoogle Scholar ID

Search Results

Now showing 1 - 2 of 2
  • Publication
    Digital Activism Masked. The Fridays for Future movement and the "Global day of climate action": testing social function and framing typologies of claims on Twitter
    (2022) Fernández-Zubieta, Ana; Guevara Gil, Juan Antonio; Caballero Roldán, Rafael; Robles Morales, José Manuel
    This article analyses the Fridays for Future (FFF) movement and their online mobilization around the Global Day of Climate Action on September 25th, 2020. Due to the Covid-19 pandemic this event is a unique opportunity to study digital activism as marchers were considered not appropriate. Using the Twitter’s API with keywords “#climateStrike”, “#FridaysForFuture”, we collected 111,844 unique tweets and retweets from 47,892 unique users. We use two typologies based on social media activism and framing literature to understand the main function of tweets —information, opinion, mobilization and blame— and frames —diagnosis, prognosis, motivational. We also analyze its relationship and test its automated-classification potential. To do so we manually coded a randomly selected sample of 950 tweets that are used as input for the automated-classification process (SVMs algorithm with balancing classification techniques). We find that the Covid-19 pandemic appears not to have increased the mobilization function of tweets, as the frequencies of mobilization tweets were low. We also find a balanced diversity of framing tasks, with an important number of tweets that envisaged solution on legislation and policy changes. We find that both typologies are not independent. The automated data classification model performed well, especially across social function typology and the “other” category. This indicates that these tools could help researchers working with social media data to process the information across categories that are currently mainly processed manually, enlarging their final sample sizes
  • Publication
    A unified framework for declarative debugging and testing
    (Elsevier, 2020-09-22) Tamarit, Salvador; Caballero Roldán, Rafael; Riesco Rodríguez, Adrián; Martín Martín, Enrique
    Context: Debugging is the most challenging and time consuming task in software development. However, it is not properly integrated in the software development cycle, because the result of so much effort is not available in further iterations of the cycle, and the debugging process itself does not benefit from the outcome of other phases such as testing. Objective: We propose to integrate debugging and testing within a single unified framework where each phase generates useful information for the other and the outcomes of each phase are reused. Method: We consider a declarative debugging setting that employs tests to automatically entail the validity of some subcomputations, thus decreasing the time and effort needed to find a bug. Additionally, the debugger stores as new tests the information collected from the user during the debugging phase. This information becomes part of the program test suite, and can be used in future debugging sessions, and also as regression tests. Results: We define a general framework where declarative debugging establishes a bidirectional collaboration with testing. The new setting preserves the properties of the underlying declarative debugging framework (weak completeness and soundness) while generating test cases that can be used later in other debugging sessions or even in other cycles of the software development. The proposed framework is general enough to be instantiated to very different programming languages: Erlang (functional), Java (imperative, object-oriented), and SQL (data query); and the experimental results obtained for Erlang programs validate the effectiveness of the framework. Conclusion: We propose a general unified framework for debugging and testing that simplifies each phase and maximizes the reusability of the outcomes in the different phases of the software development cycle, therefore reducing the overall effort.