989 Hits in 4.8 sec

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections [article]

Larisa Safina, Simon Bliudze
2022 arXiv   pre-print
In this paper, we present an initial approach to this problem by focusing on the extraction of FSMs modelling library APIs. We focus on the analysis of Java code involving the use of collections.  ...  Modern software systems are huge, rely on external libraries and interact with their environment. Hence, extracting useful behavioural models requires abstraction.  ...  CONCLUSION We propose an approach to the extraction of behavioural models in the form of non-deterministic FSMs with guards from Java implementations of library APIs.  ... 
arXiv:2205.15270v1 fatcat:ybjwtn2khvhe7h4cu7f3aue6pe


Ondřej Lhoták, Laurie Hendren
2004 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04  
Based on our very positive experience with using BDDs for program analysis, we embarked on a project to express a number of key, interrelated whole program analyses for Java using BDDs inside our Java  ...  We still wanted to use existing efficient C-based libraries, but now we required a clean and efficient interface between the Java code of our compiler and our BDD-based algorithms.  ... 
doi:10.1145/996841.996861 dblp:conf/pldi/LhotakH04 fatcat:rsyjmsxcffhgtgo2jj2vzk2tie


Ondřej Lhoták, Laurie Hendren
2004 SIGPLAN notices  
Based on our very positive experience with using BDDs for program analysis, we embarked on a project to express a number of key, interrelated whole program analyses for Java using BDDs inside our Java  ...  We still wanted to use existing efficient C-based libraries, but now we required a clean and efficient interface between the Java code of our compiler and our BDD-based algorithms.  ... 
doi:10.1145/996893.996861 fatcat:f4glbtcqe5gsnjhxf3mlgwfzdq

Applications and extensions of Alloy: past, present and future

2013 Mathematical Structures in Computer Science  
Alloy is a declarative language for lightweight modelling and analysis of software.  ...  These applications have motivated a number of extensions both to the Alloy language and to its SAT-based analysis.  ...  The key limitation of Alloy was found to be its lack of built-in support for the modelling of dynamic behaviours -expressing dynamic behaviours was possible, but not convenient.  ... 
doi:10.1017/s0960129512000291 fatcat:hudzt55aznerld3v4uwwz46f5i

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models [chapter]

Curtis Madsen, Fedor Shmarov, Paolo Zuliani
2015 Lecture Notes in Computer Science  
The parameter set synthesis problem consists of identifying sets of parameter values for which a given system model satisfies a desired behaviour.  ...  Three key features of BioPSy are: 1) BioPSy computes parameter intervals, not just single values; 2) for the identified intervals the model is formally guaranteed to satisfy the desired behaviour; and  ...  BioPSy works by extracting ODEs from the given SBML model along with the list of model parameters.  ... 
doi:10.1007/978-3-319-23401-4_16 fatcat:k6255rxprjedfmkkgdpysay55e

How Maintainability Issues of Android Apps Evolve

Ivano Malavolta, Roberto Verdecchia, Bojan Filipovic, Magiel Bruntink, Patricia Lago
2018 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)  
We statically analyzed 9,945 weekly snapshots of all apps for identifying their maintainability issues over time.  ...  Android is the largest mobile platform today, with thousands of apps published and updated in the Google Play store everyday.  ...  As mentioned before, the metrics in SAT are based on the ISO/IEC 25010 quality model.  ... 
doi:10.1109/icsme.2018.00042 dblp:conf/icsm/MalavoltaVFBL18 fatcat:tslsonaa4jfbjo3vtkva42u7uq

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic [chapter]

Stefano Bistarelli, Fabio Rossi, Francesco Santini
2014 Lecture Notes in Computer Science  
One of the main issues for any theory of argumentation is the selection of acceptable sets of arguments, based on the way arguments interact.  ...  This first comparison is useful to study the behaviour of these reasoners over networks with different topologies (including small-world ones): we scale the number of arguments to check the limits of today's  ...  The first one is the Java Universal Network/Graph Framework (JUNG 17 ), which is a Java software library for the modeling, generation, analysis and visualization of graphs.  ... 
doi:10.1007/978-3-319-09764-0_5 fatcat:njwrc6hvpfamfbgvan6z5zexv4

Bounded model checking of C++ programs based on the Qt cross-platform framework

Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie B. de Lima Filho
2017 Software testing, verification & reliability  
Model Checker (ESBMC++), for verifying actual Qt-based applications, with a success rate of 89%, for the developed benchmark suite.  ...  For instance, Java PathFinder is able to verify Java code, based on byte-code [10], but it can only support verification of Java applications that rely on the Android operating system if an abstract representation  ...  As a result, one needs to check the equivalence between operational model and original library, with the goal of ensuring the same behaviour, having in mind that operational models are a simplification  ... 
doi:10.1002/stvr.1632 fatcat:cpaopac5hzch7odhtdasgnwg6a

In space image processing using AI embedded on system on module: example of OPS-SAT cloud segmentation

Frédéric Férésin, Erwann Kervennic, Yves Bobichon, Edgar Lemaire, Nassim Abderrahmane, Gaétan Bahl, Ingrid Grenet, Matthieu Moretti, Michael Benguigui
2021 Zenodo  
This service is also compatible with OPS-SAT spatial resolution and the number of logic cells within its Cyclone V FPGA.  ...  acceleration of the trained ANNs, using a VHDL based solution specifically developed to target OPS-SAT FPGA on Cyclone-V System on Chip.  ...  ACKNOWLEDGMENTS We first thank the European Space Agency for providing us the FPGA development kit and for supporting our experiments on OPS-SAT, in particular David Evans (the mission manager), Tom Mladenov  ... 
doi:10.5281/zenodo.5574959 fatcat:bjioh3f2gnfktp2xw2jfysklje

System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15) [article]

Matthias Thimm, Serena Villata
2015 arXiv   pre-print
This volume contains the system description of the 18 solvers submitted to the First International Competition on Computational Models of Argumentation (ICCMA'15) and therefore gives an overview on state-of-the-art  ...  of computational approaches to abstract argumentation problems.  ...  .: Tweety-a comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation.  ... 
arXiv:1510.05373v1 fatcat:ll33crzcwfenll4v7yf4xae7ya

TOPCAT: Working with Data and Working with Users [article]

Mark Taylor
2017 arXiv   pre-print
This paper reviews its capabilities as a tool for working with large and small datasets, and considers some of the issues in design, implementation and user interaction that have to be tackled when developing  ...  TOPCAT is a desktop application for interactive analysis of tabular data, especially source catalogues.  ...  Development of the TOPCAT and STILTS software has been supported by many organisations over the years, including the UK's STFC and previously PPARC research councils, EU FP6 and FP7 programmes, GAVO and  ... 
arXiv:1711.01885v1 fatcat:fii4na72erf5rda6p7rvu35jta

RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

Paul Klint, Tijs van der Storm, Jurgen Vinju
2009 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation  
Many automated software engineering tools require tight integration of techniques for source code analysis and manipulation.  ...  State-of-the-art tools exist for both, but the domains have remained notoriously separate because different computational paradigms fit each domain best.  ...  We thank Bob Fuhrer (IBM Research) for his inspiration, co-authoring the PDB and explaining the IGTA refactoring. We thank Arnold Lankamp for implementing the faster implementations of the PDB API.  ... 
doi:10.1109/scam.2009.28 dblp:conf/scam/KlintSV09 fatcat:2b7j5milfzgr3jrermzfetlcsm

bioLQM: a java library for the manipulation and conversion of Logical Qualitative Models of biological networks [article]

Aurélien Naldi
2018 bioRxiv   pre-print
Model transformations enable the definition of various perturbations, as well as model Booleanization (allowing the study of multivalued models with tools specialized for Boolean ones), but also model  ...  Here we introduce bioLQM, a new Java software tool for the conversion, transformation, and analysis of Logical Qualitative Models of biological regulatory networks, aiming to foster the development of  ...  Pedro Monteiro, Claudine Chaouiya and Denis Thieffry provided feedback for the integration in GINsim and Epilog.  ... 
doi:10.1101/287011 fatcat:u2ip73dzm5gupcxq4rrjowi76y

Designing a document-centric coordination application over the Internet

Paolo Ciancarini, Davide Rossi, Fabio Vitali
2001 Interacting with computers  
The active Web implementation we describe here is based on Java integrated with coordination technology.  ...  In Section 3 we discuss how our idea of an active Web, that is based on PageSpace, a reference architecture for WWW-based, agent oriented interactive applications.  ...  The case study requirements have been defined together with R.Tolksdorf (TU Berlin, Germany) and O.Nierstrasz (Univ. of Berne, Switzerland), with partial support from EU WG ``Coordina'' project.  ... 
doi:10.1016/s0953-5438(01)00037-6 fatcat:ujwxdtkonjh6lls672lswqmw5e

Comparative Study and Analysis of Variability Tools [article]

Mahendra Reddy Bhumula
2013 arXiv   pre-print
We compare a range of modelling, configuring, and management tools for product line engineering.  ...  The dissertation provides a comparative analysis of a number of variability tools currently in use. It serves as a catalogue for practitioners interested in the topic.  ...  In order to collect the material the required set of resources are: A personal computer with minimum configuration (Can be used to browse the internet), An access to library for books, An access to the  ... 
arXiv:1304.3912v1 fatcat:edyq7ggfkvfy5ii6xtqc3menyy
« Previous Showing results 1 — 15 out of 989 results