Search

Search Results

1. Building a Cybersecurity Awareness Program: Present and Prospective Aspects

   This chapter discusses present and prospective aspects of cybersecurity awareness (CSA) initiatives. Concerning the first, it presents practices...

   Sunil Chaudhary, Vasileios Gkioulos in Digital Sovereignty in Cyber Security: New Challenges in Future Vision

   Conference paper 2023
   

2. Full-program induction: verifying array programs sans loop invariants

   Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that...

   Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat in International Journal on Software Tools for Technology Transfer

   Article 29 September 2022
   

3. Model and Program Repair via Group Actions

   Given a textual representation of a finite-state concurrent program \(P\)...

   Paul C. Attie, William L. Cocke in Foundations of Software Science and Computation Structures

   Conference paper Open access 2023
   

4. The National Innovative Program for Housing Quality (PINQuA). Strategies and Indicators for Design Quality

   In recent years, the debate on new models of living and experiencing urban spaces has been fuelled by events that have highlighted the fragilities...

   Adolfo F. L. Baratta, Massimo Mariani, Daniele Mazzoni in Computational Science and Its Applications – ICCSA 2023 Workshops

   Conference paper 2023
   

5. On the analysis of collaboration networks between industry and academia: the Mexican case of the innovation incentive program

   The responsible for proposing public policies have to decide how to allocate economic resources to boost Research & Development in target industrial...

   Edwin Montes-Orozco, Karen Miranda, ... Juan-Carlos López-García in Scientometrics

   Article 19 January 2024
   

6. Automated regression unit test generation for program merges

   We propose test oracles for real-world program merges including two-way, three-way, and octopus merges. On this basis, we implemented a tool called...

   Tao Ji, Liqian Chen, ... Jiahong Jiang in Science China Information Sciences

   Article 23 August 2022

7. Software Testing: 5th Comparative Evaluation: Test-Comp 2023

   The 5th edition of the Competition on Software Testing (Test-Comp 2023) provides again an overview and comparative evaluation of automatic test-suite...

   Dirk Beyer in Fundamental Approaches to Software Engineering

   Conference paper Open access 2023
   

8. How much does a Ph.D. scholarship program impact an emerging economy research performance?

   This paper presents an impact evaluation of scholarships, within the Brazilian context, on the scientific performance of Ph.D. holders. The objective...

   Adriana Bin, Sergio Salles-Filho, ... Fernando Antonio Basile Colugnati in Scientometrics

   Article 12 August 2022
   

9. Origami: (un)folding the Abstraction of Recursion Schemes for Program Synthesis

   Program synthesisProgram synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually...

   Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini in Genetic Programming Theory and Practice XX

   Chapter 2024
   

10. Based on the 2010–2022 Review of Domestic and Foreign Educational Evaluation and University Internal Evaluation Methods

    As technology and education systems continue to improve, education evaluation is also gradually becoming intelligent and standardized, but there are...

    **aoxiao Zhu, Huiyao Ge, ... Yanling Liu in Multimedia Technology and Enhanced Learning

    Conference paper 2024
    

11. Execution Time Program Verification with Tight Bounds

    This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language. Proof systems are defined...

    Ana Carolina Silva, Manuel Barbosa, Mário Florido in Practical Aspects of Declarative Languages

    Conference paper 2023
    

12. Information Security Awareness Program for Employees of the Organization: The Activity Approach

    Abstract

    The article actualizes the problem of the content of the employee awareness program concerning the information security of their organization...

    L. V. Astakhova in Scientific and Technical Information Processing

    Article 01 September 2022

13. Obfuscation-Resilient Semantic Functionality Identification Through Program Simulation

    Figuring out whether a particular semantic functionality exists in a binary program is challenging. While pattern-matching-based detection is...

    Sebastian Schrittwieser, Patrick Kochberger, ... Edgar R. Weippl in Secure IT Systems

    Conference paper 2022
    

14. How to Program in MicroPython

    Now that we have a basic understanding of the available MicroPython boards, we can learn more about programming in MicroPython – a very robust and...

    Charles Bell in MicroPython for the Internet of Things

    Chapter 2024
    

15. The Next 700 Program Transformers

    In this paper, we describe a hierarchy of program transformers, capable of performing fusion to eliminate intermediate data structures, in which the...

    Geoff Hamilton in Logic-Based Program Synthesis and Transformation

    Conference paper 2022
    

16. Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform

    Abstract

    Formal proof of security measure effectiveness and computation security is vitally important for trust in critical information systems. It...

    A. A. Timakov in Programming and Computer Software

    Article 28 July 2023
    

17. Model and Program Transformation

    So far, we focused on defining the syntax of DSLs in efficient ways. We worked with abstract and concrete syntax. We have seen tools that can...

    Andrzej Wąsowski, Thorsten Berger in Domain-Specific Languages

    Chapter 2023
    

18. Automatic program bug fixing by focusing on finding the shortest sequence of changes

    Automatic bug repair as the last step in program repair has attracted a lot of research attention. Various ideas and techniques have been presented...

    Leila Yousofvand, Seyfollah Soleimani, ... Sajad Esfandyari in Artificial Intelligence Review

    Article Open access 07 February 2024
    

19. Automatic Rollback Suggestions for Incremental Datalog Evaluation

    Advances in incremental Datalog evaluation strategies have made Datalog popular among use cases with constantly evolving inputs such as static...

    David Zhao, Pavle Subotić, ... Bernhard Scholz in Practical Aspects of Declarative Languages

    Conference paper 2023
    

20. Generalized Program Sketching by Abstract Interpretation and Logical Abduction

    This paper presents a new approach for synthesizing missing parts from imperative programs by using abstract interpretation and logical abduction....

    Aleksandar S. Dimovski in Static Analysis

    Conference paper 2023