Suchergebnisse - "Software and its engineering Software organization and properties Extra-functional properties"

Checkpointing strategies for a fixed-length execution von Benoit, Anne, Perotin, Lucas, Robert, Yves, Vivien, Frederic

“… This work considers checkpointing strategies for a parallel application executing on a large-scale platform whose nodes are subject to failures …”
Volltext

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation von Tian, Zhao, Chen, Junjie, Zhang, Xiangyu

“… Code generation is to automatically generate source code conforming to a given programming specification, which has received extensive attention especially …”
Volltext

AI-driven Java Performance Testing: Balancing Result Quality with Testing Time von Traini, Luca, Di Menna, Federico, Cortellessa, Vittorio

“… During this phase, performance measurements are subject to severe fluctuations, which may adversely affect quality of performance test results …”
Volltext

Mastering Uncertainty in Performance Estimations of Configurable Software Systems von Dorn, Johannes, Apel, Sven, Siegmund, Norbert

“… Understanding the influence of configuration options on performance is key for finding optimal system configurations, system understanding, and performance …”
Volltext

LogTracker: Learning Log Revision Behaviors Proactively from Software Evolution History von Li, Shanshan, Niu, Xu, Jia, Zhouyang, Wang, Ji, He, Haochen, Wang, Teng

“… Log statements are widely used for postmortem debugging. Despite the importance of log messages, it is difficult for developers to establish good logging …”
Volltext

Accurate Interprocedural Null-Dereference Analysis for Java von Nanda, Mangala Gowri, Sinha, Saurabh

“… Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools …”
Volltext

Explanation-Driven Self-Adaptation Using Model-Agnostic Interpretable Machine Learning von Negri, Francesco Renato, Nicolosi, Niccolo, Camilli, Matteo, Mirandola, Raffaela

“… Self-adaptive systems increasingly rely on black-box predictive models (e.g., Neural Networks) to make decisions and steer adaptations. The lack of …”
Volltext

Modular string-sensitive permission analysis with demand-driven precision von Geay, Emmanuel, Pistoia, Marco, Takaaki Tateishi, Ryder, Barbara G., Dolby, Julian

“… This has made it necessary to subject component providers to access-control restrictions. What permissions should be granted to each component …”
Volltext

SoftMon: A Tool to Compare Similar Open-source Software from a Performance Perspective von Singh, Shubhankar Suman, Sarangi, Smruti R.

“… Over the past two decades, a rich ecosystem of open-source software has evolved. For every type of application, there are a wide variety of alternatives. We …”
Volltext

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing von Lai, Zhifeng, Cheung, S. C., Chan, W. K.

“… Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small …”
Volltext

A general approach for expressing infeasibility in Implicit Path Enumeration Technique von Raymond, Pascal

“… Static timing analysis aims at computing a guaranteed upper bound to the Worst-Case Execution Time (WCET) of a program. It requires both an accurate modeling …”
Volltext

Quality of service engineering with UML, .NET, and CORBA von Weis, Torben, Ulbrich, Andreas, Geihs, Kurt

“… The concern for non-functional properties of software components and distributed applications has increased significantly in recent years. Non-functional …”
Volltext

A synergetic approach to accurate analysis of cache-related preemption delay von Kleinsorge, Jan C., Falk, Heiko, Marwedel, Peter

“… For non-preemptive multitask scheduling, techniques for the static estimation of safe upper bounds have been subject to industrial practice for years …”
Volltext

Supporting Web Service Protocol Changes by Propagation von Azough, Ahmed, Coquery, Emmanuel, Hacid, Mohand-Said

“… Very often, enterprises are subject to changes. These changes require adaptations regarding business process, security components, database access, etc …”
Volltext

Evaluating Software Engineering Processes in Commercial and Community Open Source Projects von Wasserman, Anthony I., Capra, Eugenio

“… This paper describes the methods used to identify and contact subjects, as well as the questions posed and some results …”
Volltext

Model or Mould? A Challenge for Better Traceability von Morris, S. J., Gotel, O. C. Z.

“… modelled. A gradual historical development is identified where the purpose of the model changes from its representation of a pre-existing subject to its action as a precedent and a definition …”
Volltext

Automated support for classifying software failure reports von Podgurski, Andy, Leon, David, Francis, Patrick, Masri, Wes, Minch, Melinda, Sun, Jiayang, Wang, Bin

“… The results of applying the proposed classification strategy to failures of three large subject programs are reported …”
Volltext