Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Pascal André

dblp:08/6436 · DBLP profile ↗
← Back
8ranked-venue papers
6as first author
2since 2021 · last 2024
0000-0002-1112-2973ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6 · 5 first-authorSecurity and privacy · 1 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Software testing · 85% Services computing and microservices · 13% Programming languages and type systems · 2%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › test infrastructure
harness generation
0.212016
COSTOTest: a tool for building and running test harness for service-based component models (demo) · ISSTA 2016
Software testing
model-based testing
0.212016
COSTOTest: a tool for building and running test harness for service-based component models (demo) · ISSTA 2016
Programming languages and type systems › method dispatch
method lookup
0.011992
Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992
Programming languages and type systems › dynamic languages
dynamically typed languages
0.011992
Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992
Runtime systems and virtual machines
object-oriented language implementation
0.011992
Optimizing Method Search with Lookup Caches and Incremental Coloring · OOPSLA 1992

Methods — techniques the papers use, named apart from their topics

model transformation · 0.2incremental coloring algorithm · 0.0
YearPublicationVenuePosition
2024 Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in Android
abstract
Security code smells are receiving increasing attention in the domain of Android app development. They serve as coding guidelines aimed at identifying vulnerabilities originating from the application's source code. Numerous related tools have been proposed to align with DevSecOps guidelines. However, they lack of comparable effort in creating benchmarks for open-source apps, making the thorough evaluation of these tools challenging, and requiring time-consuming manual effort. In this paper, we propose Privbench, an evolving benchmark that captures vulnerabilities related to the Android ecosystem. It incorporates multiple code patterns for each vulnerability. To showcase its significance, we used it to evaluate two well-known tools used to identify Android security code smells. This evaluation focused on Privilege Escalation (PE) vulnerabilities and we present their performance in detecting the vulnerabilities within their scopes. We believe that our benchmark can be useful for advancing the capabilities of state-of-the-art tools, enhancing their effectiveness in vulnerability detection, and increasing developers awareness to evade privilege escalation vulnerabilities.
Mohammed El Amin Tebib, Oum-El-Kheir Aktouf, Pascal André, Mariem Graa
PST3
2021 More Automation in Model Driven Development
Pascal André, Mohammed El Amin Tebib
MEDI1
2020 Refining Automation System Control with MDE
abstract
International audience
Pascal André, Mohammed El Amin Tebib
MODELSWARD1
2019 Case Studies in Model-Driven Reverse Engineering
abstract
International audience
Pascal André
MODELSWARD1
2018 Virtual Extension of Meta-models with Facet Tools
abstract
International audience
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
MODELSWARD2
2017 Combining Techniques to Verify Service-based Components
abstract
International audience
Pascal André, J. Christian Attiogbé, Jean-Marie Mottu
MODELSWARD1
2016 COSTOTest: a tool for building and running test harness for service-based component models (demo)
abstract
Early testing reduces the cost of detecting faults and improves the system reliability. In particular, testing component or service based systems during modeling frees the tests from implementation details, especially those related to the middleware. COSTOTest is a tool that helps the tester during the process of designing tests at the model level. It suggests the possibilities and the lacks when (s)he builds test cases. Building executable tests is achieved thanks to model transformations.
Pascal André, Jean-Marie Mottu, Gerson Sunyé
ISSTA1
1992 Optimizing Method Search with Lookup Caches and Incremental Coloring
abstract
An efficient mechanism for method lookup is csscntial in any reasonable implementation of a clussbased object-oriented language.One tcchniquc, static caches, provide constant time lookup, but consumes cxcessive memory.To alleviate the memory consumption problem many systems USC a coloring schcmc that allows cache rows to be shared and thus reduces the ovcrall cache size.This technique is easily implcmcntcd I'OI stongly typed languages such as C++ and Eiffcl, but not for languages such as CLOS or Smalltalk.This papct provides a solution to this latter problem: that of coloring for static caches in dynamically typed objcct-oricnted languages.Our solution is to use an incrcmcntal coloring algorithm to avoid the memory consumption problems of the naive approach.
Pascal André, Jean-Claude Royer
OOPSLA1