Results 21 to 30 of about 81,061 (260)
Evaluating SZZ Implementations Through a Developer-Informed Oracle [PDF]
International Conference on Software Engineering, 2021 The SZZ algorithm for identifying bug-inducing changes has been widely used to evaluate defect prediction techniques and to empirically investigate when, how, and by whom bugs are introduced.
Giovanni Rosa +6 more
semanticscholar +1 more source
The Blockchain Oracle Problem in Decentralized Finance—A Multivocal Approach
Applied Sciences, 2021 Decentralized Finance (DeFi) takes the promise of blockchain a step further and aims to transform traditional financial products into trustless and transparent protocols that run without involving intermediaries. Similar to how 2017 was the year of ICOs,
G. Caldarelli, Joshua Ellul
semanticscholar +1 more source
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work [PDF]
IACR Cryptology ePrint Archive, 2020 We revisit the so-called compressed oracle technique, introduced by Zhandry for analyzing quantum algorithms in the quantum random oracle model (QROM).
Kai-Min Chung +3 more
semanticscholar +1 more source
III-V/Si Hybrid Laser Stabilization Using Micro-Ring Feedback Control
IEEE Photonics Journal, 2016 We present a real-time approach for stabilizing a III-V/Si hybrid external-cavity laser implemented using microring monitoring and a feedback control loop.
Jin-Hyoung Lee +11 more
doaj +1 more source
Vibration Resonance Spectrometry (VRS) for the Advanced Streaming Detection of Rotor Unbalance
Machines, 2023 Determination of the diagnosis thresholds is crucial for the fault diagnosis of industry assets. Rotor machines under different working conditions are especially challenging because of the dynamic torque and speed.
Matthew T. Gerdes +5 more
doaj +1 more source
TOGLL: Correct and Strong Test Oracle Generation with LLMS [PDF]
International Conference on Software EngineeringTest oracles play a crucial role in software testing, enabling effective bug detection. Despite initial promise, neural methods for automated test oracle generation often result in a large number of false positives and weaker test oracles.
Soneya Binta Hossain, Matthew B. Dwyer
semanticscholar +1 more source
Exploiting CMOS Manufacturing to Reduce Tuning Requirements for Resonant Optical Devices
IEEE Photonics Journal, 2011 We present manufacturing tolerances of cascaded silicon microring resonators fabricated in a commercial 130-nm complementary-oxide semiconductor (CMOS) foundry using 193-nm lithography and provide statistics gathered from over 500 four-channel microring ...
Ashok V. Krishnamoorthy +10 more
doaj +1 more source
Test Oracle Automation in the Era of LLMs [PDF]
ACM Transactions on Software Engineering and MethodologyThe effectiveness of a test suite in detecting faults highly depends on the quality of its test oracles. Large Language Models (LLMs) have demonstrated remarkable proficiency in tackling diverse software testing tasks.
F. Molina +2 more
semanticscholar +1 more source
Foundational Oracle Patterns: Connecting Blockchain to the Off-chain World [PDF]
International Conference on Business Process Management, 2020 Blockchain has evolved into a platform for decentralized applications, with beneficial properties like high integrity, transparency, and resilience against censorship and tampering.
Roman Mühlberger +6 more
semanticscholar +1 more source
Safeguarding DeFi Smart Contracts Against Oracle Deviations [PDF]
International Conference on Software EngineeringThis paper presents OVer, a framework designed to automatically analyze the behavior of decentralized finance (DeFi) protocols when subjected to a “skewed” oracle input. OVer firstly performs symbolic analysis on the given contract and constructs a model
Xun Deng +5 more
semanticscholar +1 more source