Suchergebnisse - General AND reference Cross-computing tools AND techniques Validation

Static detection of cross-site scripting vulnerabilities von Wassermann, G., Zhendong Su

“… Web applications have XSS vulnerabilities because the validation they perform on untrusted input does not suffice to prevent that input from invoking a browser's JavaScript interpreter …”
Volltext

Exploiting Input Sanitization for Regex Denial of Service von Barlas, Efe, Du, Xin, Davis, James C.

“… Web services use server-side input sanitization to guard against harmful input. Some web services publish their sanitization logic to make their client …”
Volltext

Safety in Autonomous Driving: Can Tools Offer Guarantees? von Fremont, Daniel J., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

“… We believe that formal methods will play an essential role in the enterprise of ensuring AV safety by providing tools for the modeling, verification, synthesis, and runtime assurance of AV systems …”
Volltext

An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale von Zhang, Mengya, Shukla, Preksha, Zhang, Wuqi, Zhang, Zhuo, Agrawal, Pranav, Lin, Zhiqiang, Zhang, Xiangyu, Zhang, Xiaokuan

“… The proxy design pattern separates data and code in smart contracts into proxy and logic contracts. Data resides in proxy contracts, while code is sourced from …”
Volltext

Formally Verified Cloud-Scale Authorization von Chakarov, Aleks, Geldenhuys, Jaco, Heck, Matthew, Hicks, Michael, Huang, Sam, Jaloyan, Georges-Axel, Joshi, Anjali, Leino, K. Rustan M., Mayer, Mikael, McLaughlin, Sean, Mritunjai, Akhilesh, Pit-Claudel, Clement, Porncharoenwase, Sorawee, Rabe, Florian, Rapoport, Marianna, Reger, Giles, Roux, Cody, Rungta, Neha, Salkeld, Robin, Schlaipfer, Matthias, Schoepe, Daniel, Schwartzentruber, Johanna, Tasiran, Serdar, Tomb, Aaron, Torlak, Emina, Tristan, Jean-Baptiste, Wagner, Lucas, Whalen, Michael W., Willems, Remy, Xiang, Tongtong, Byun, Tae Joon, Cohen, Joshua, Fang, Ruijie, Jang, Junyoung, Rath, Jakob, Syeda, Hira Taqdees, Wagner, Dominik, Yuan, Yongwei

“… All critical systems must evolve to meet the needs of a growing and diversifying user base. But supporting that evolution is challenging at increasing scale: …”
Volltext

Comparing design and code metrics for software quality prediction von Jiang, Yue, Cuki, Bojan, Menzies, Tim, Bartlow, Nick

“… One of the most important goals of such techniques is to accurately predict the modules where faults are likely to hide as early as possible in the development lifecycle …”
Volltext

Probing for Requirements Knowledge to Stimulate Architectural Thinking von Anish, Preethu Rose, Balasubramaniam, Balaji, Sainani, Abhishek, Cleland-Huang, Jane, Daneva, Maya, Wieringa, Roel J., Ghaisas, Smita

“… Software requirements specifications (SRSs) often lack the detail needed to make informed architectural decisions. Architects therefore either make …”
Volltext

SAT-Based Arithmetic Support for Alloy von Cornejo, Cesar

“… Formal specifications in Alloy are organized around user-defined data domains, associated with signatures, with almost no support for built-in datatypes. This …”
Volltext

Inferring better contracts von Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand

“… We present new, completely automatic inference techniques and a supporting tool, which take advantage of the presence of simple programmer-written contracts in the code to infer sophisticated …”
Volltext

On gender, ethnicity, and culture in empirical software engineering research von Gren, Lucas

“… This note highlights the importance of investigating diversity aspects in combination in empirical research. It draws on the psychological discourse and …”
Volltext

Efficient hybrid typestate analysis by determining continuation-equivalent states von Bodden, Eric

“… Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, …”
Volltext

Continuous, Low Overhead, Run-Time Validation of Program Executions von Aktas, Erdem, Afram, Furat, Ghose, Kanad

“… supposed to do. Pre-execution validations of code integrity fail to detect run time compromises like code injection, return and jump-oriented programming, and illegal dynamic linking of program modules …”
Volltext

An effort and time based measure of usability von Tamir, Dan, Komogortsev, Oleg V, Mueller, Carl J

“… The hypothesis of this research is that usability relates to the physical effort that is required in order to use software in the accomplishment of interactive …”
Volltext

Model-based testing of automotive software: Some challenges and solutions von Petrenko, Alexandre, Timo, Omer Nguena, Ramesh, S.

“… Test generation is a computationally complex task, which requires efficient constraint solving techniques and some guidance from the test engineer when this task cannot be solved by a tool …”
Volltext

Using software engineering technology to improve the quality of medical processes von Clarke, Lori A, Avrunin, George A, Osterweil, Leon J

“… In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical …”
Volltext

An investigation into coupling measures for C++ von Briand, Lionel, Devanbu, Prem, Melo, Walcelio

“… This paper proposes a comprehensive suite of measures to quantify the level of class coupling during the design of object-oriented systems. This suite takes …”
Volltext

ML-On-Rails: Safeguarding Machine Learning Models in Software Systems - A Case Study von Abdelkader, Hala, Abdelrazek, Mohamed, Barnett, Scott, Schneider, Jean-Guy, Rani, Priya, Vasa, Rajesh

“… Machine learning (ML), especially with the emergence of large language models (LLMs), has significantly transformed various industries. However, the transition …”
Volltext

Towards a methodology for lifelong validation of service compositions von Bianculli, Domenico, Ghezzi, Carlo

“… In particular, the traditional boundary between design time and run time is blurring. Validation, which traditionally pertains to design time, must now extend to run time …”
Volltext

SciTrust: Evaluating the Trustworthiness of Large Language Models for Science von Herron, Emily, Yin, Junqi, Wang, Feiyi

“… SciTrust was applied to five LLMs, including one general-purpose and four scientific models, revealing nuanced strengths and weaknesses across different models and benchmark …”
Volltext

Towards quantitative software reliability assessment in incremental development processes von Fujii, Toshiya, Dohi, Tadashi, Fujiwara, Takaji

“… The iterative and incremental development is becoming a major development process model in industry, and allows us for a good deal of parallelism between …”
Volltext