Search Results - "Java Components"

Wolf in Sheep's Clothing: Shearing the Camouflage of Malicious Java Components in Maven by Zeng, Yutong, Huang, Cheng, Han, Jiaxuan, Zhao, Jianguo, Wang, Nannan, Liang, Genpei, Jiang, Shuyi

“… However, the issue of malware detection in Java components remains unresolved. Most prior approaches suffer from insufficient code coverage and coarse-grained representation, making them unsuitable for Java components…”
Get full text

Synthesis of verifiable concurrent Java components from formal models by Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication…”
Get full text

Tool support for testing concurrent Java components by Long, B., Hoffman, D., Strooper, P.

“…Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components…”
Get full text

The FRACTAL component model and its support in Java by Bruneton, Eric, Coupaye, Thierry, Leclercq, Matthieu, Quéma, Vivien, Stefani, Jean-Bernard

“…This paper presents FRACTAL, a hierarchical and reflective component model with sharing. Components in this model can be endowed with arbitrary reflective…”
Get full text

Testing Concurrent Java Components by Strooper, Paul, Wildman, Luke

“… (Concurrency Analyser) testing tool supports these techniques for the testing of concurrent Java components and will be discussed and demonstrated in the tutorial…”
Get full text

A method for verifying concurrent Java components based on an analysis of concurrency failures by Long, Brad, Strooper, Paul, Wildman, Luke

“… In previous work, we have developed the ConAn testing tool for the testing of concurrent Java components…”
Get full text

Solving the Dependency Conflict of Java Components: A Comparative Empirical Analysis by Wang, Yongzhi, Xing, Chengli, Sun, Jinan, Zhang, Shikun, Xuanyuan, Sisi, Zhang, Long

“…Java components' reference to the complex dependencies brought by third-party libraries may cause multiple versions of the libraries to exist…”
Get full text

Field Escape Analysis for Data Confidentiality in Java Components by Aiwu Shi, Naumovich, G.

“…This paper presents an extension of escape analysis for static detection of threats to data confidentiality in Java components, called field escape analysis…”
Get full text

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks by Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… To verify concurrent Java components, the TestCon method combines code inspection, static analysis and dynamic analysis…”
Get full text

Dealing with non-determinism in testing concurrent Java components by Wildman, L., Long, B., Strooper, P.

“… In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool…”
Get full text

Testing Java Components based on Algebraic Specifications by Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu

“…This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype…”
Get full text

Middleware support for the deployment of resource-aware parallel Java components on heterogeneous distributed platforms by Maheo, Y., Guidec, F., Courtrai, L.

“…This work reports the development of the Concerto platform, which is dedicated to supporting the deployment of resource-aware parallel Java components on heterogeneous distributed platforms…”
Get full text

Automated Construction of Reasonable Environment for Java Components by Parizek, Pavel, Adamek, Jiri, Kalibera, Tomas

“… Focusing on concurrency errors in Java components, we propose to automatically generate a reasonable artificial environment that makes efficient detection of concurrency errors with Java PathFinder possible…”
Get full text

Static analysis of data security in Java components by Shi, Aiwu

“…In this thesis, we address the security problems of vulnerable Java components by means of a combined static analysis…”
Get full text

Modelica Models Translation into Java Components for Optimization and DAE Solving Using Automatic Differentiation by Verdiere, Franck, Rezgui, Abir, Gaaloul, Sana, Delinchant, Benoit, Gerbaud, Laurent, Wurtz, Frederic, Brunotte, Xavier

“…Modelica modelling language is increasingly used in engineering. It defines differential algebraic equations (DAE) which can be solved using numerical…”
Get full text

Enhanced semantic interoperability by profiling health informatics standards by López, Diego M, Blobel, Bernd

“…Several standards applied to the healthcare domain support semantic interoperability. These standards are far from being completely adopted in health…”
Get more information

Enhancing Automated Detection of Vulnerabilities in Java Components by Parrend, P.

“… Three types of classes can be identified in Java components, that each can be exploited through specific vulnerabilities…”
Get full text

Design of Information Systems Using the Portlet Technology by BARCAN, Victor

“…Portlets are Java-based Web components, managed by a portlet container, that process requests and generate dynamic content. Portals use portlets as pluggable…”
Get full text

Maximising the information gained from a study of static analysis technologies for concurrent software by Wojcicki, Margaret A., Strooper, Paul

“…The results of empirical studies in Software Engineering are limited to particular contexts, difficult to generalise and the studies themselves are expensive…”
Get full text

Container-managed messaging: an architecture for integrating Java components and message-oriented applications by Silva-Lepe, I., Codella, C., Niblett, P., Ferguson, D.

“…Container-managed messaging (CMM) allows a Java component to communicate via messaging without having to manage the messaging infrastructure, similarly to how container-managed persistence (CMP) allows an EJB (Enterprise JavaBean…”
Get full text