Search results for "Oracles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Qing Xie 0003, Atif M. Memon	Designing and comparing automated test oracles for GUI-based software applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing
73	Ermaliza Razali, Raphael C.-W. Phan	On the Existence of Related-Key Oracles in Cryptosystems Based on Block Ciphers.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
69	Atif M. Memon, Ishan Banerjee, Adithya Nagarajan	What Test Oracle Should I Use for Effective GUI Testing?	ASE	2003	DBLP DOI BibTeX RDF	oracle procedure, oracle information, empirical studies, Test oracles, GUI testing
63	Hu Jin, Yi Wang, Nian-Wei Chen, Zhi-Jian Gou, Shuo Wang	Artificial Neural Network for Automatic Test Oracles Generation.	CSSE (2)	2008	DBLP DOI BibTeX RDF
63	Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter	The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services.	QEST	2006	DBLP DOI BibTeX RDF
62	Michel Raynal	Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.	PaCT	2001	DBLP DOI BibTeX RDF	Fair Lossy Channels, Quiescent Protocol, Uniform Reliable Broadcast, Fault-Tolerance, Oracles, Failure Detectors, Asynchronous Distributed Systems, Process Crashes
53	Fuchun Guo, Yi Mu 0001, Zhide Chen	Efficient Batch Verification of Short Signatures for a Single-Signer Setting without Random Oracles.	IWSEC	2008	DBLP DOI BibTeX RDF	short signature, Batch verification
53	Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Hiroyuki Masuda, Raymond H. Putra, Shigeru Yamashita	Quantum Identification of Boolean Oracles.	STACS	2004	DBLP DOI BibTeX RDF
53	James H. Andrews, Rui Fu, Vicky D. Liu	Adding Value to Formal Test Oracles.	ASE	2002	DBLP DOI BibTeX RDF
53	Kal Lin, Vassos Hadzilacos	Asynchronous Group Membership with Oracles.	DISC	1999	DBLP DOI BibTeX RDF
53	Ran Canetti	Towards Realizing Random Oracles: Hash Functions That Hide All Partial Information.	CRYPTO	1997	DBLP DOI BibTeX RDF
53	Juris Hartmanis, Lane A. Hemachandra	On Sparse Oracles Separating Feasible Complexity Classes.	STACS	1986	DBLP DOI BibTeX RDF
52	Haibo Tian, Willy Susilo, Yang Ming 0001, Yumin Wang	A Provable Secure ID-Based Explicit Authenticated Key Agreement Protocol Without Random Oracles.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	cryptography, key agreement, random oracles, identity-based
52	Petros Mol, Moti Yung	Recovering NTRU Secret Key from Inversion Oracles.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	NTRUEncrypt, Inversion Oracles, Universal Breaking, Public-Key Cryptanalysis
52	M. Choudary Gorantla, Ashutosh Saxena	Verifiably Encrypted Signature Scheme Without Random Oracles.	ICDCIT	2005	DBLP DOI BibTeX RDF	Bilinear Pairings, Fair Exchange, Random Oracles, Verifiably Encrypted Signature
52	Adam L. Young, Moti Yung	Relationships Between Diffie-Hellman and "Index Oracles".	SCN	2004	DBLP DOI BibTeX RDF	Diffie-Hellman (DH), Computational Diffie-Hellman, Decision Diffie-Hellman, JDL, LDL, Public Key Cryptography, Oracles, Black-Box Reductions, Discrete-Log
52	Laura K. Dillon, Y. S. Ramakrishna	Generating Oracles from Your Favorite Temporal Logic Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
52	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Automated test oracles for GUIs.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	GUI test oracles, automated oracles, GUI testing
49	Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova	An axiomatic approach to algebrization.	STOC	2009	DBLP DOI BibTeX RDF	algebrization, independence, relativization
49	Atif M. Memon, Qing Xie 0003	Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Smoke testing, empirical studies, regression testing, test oracles, GUI testing
49	Dennis Brylow, Jens Palsberg	Deadline Analysis of Interrupt-Driven Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	multiresolution static analysis, Real time, testing oracles
49	Dennis Brylow, Jens Palsberg	Deadline analysis of interrupt-driven software.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	multi-resolution static analysis, real time, testing oracles
43	Ran Duan, Seth Pettie	Bounded-leg distance and reachability oracles.	SODA	2008	DBLP BibTeX RDF
43	Aaron Bernstein, David R. Karger	Improved distance sensitivity oracles via random sampling.	SODA	2008	DBLP BibTeX RDF
43	Chik How Tan	Insider-secure Signcryption KEM/Tag-KEM Schemes without Random Oracles.	ARES	2008	DBLP DOI BibTeX RDF	Signcryption KEM scheme, Signcryption Tag-KEM scheme
43	Yoonsik Cheon	Abstraction in Assertion-Based Test Oracles.	QSIC	2007	DBLP DOI BibTeX RDF
43	Rotem Bennet, Nader H. Bshouty	Learning Attribute-Efficiently with Corrupt Oracles.	ALT	2005	DBLP DOI BibTeX RDF
43	Rui Zhang 0002, Jun Furukawa 0001, Hideki Imai	Short Signature and Universal Designated Verifier Signature Without Random Oracles.	ACNS	2005	DBLP DOI BibTeX RDF
43	Hong Wang, Yuqing Zhang, Dengguo Feng	Short Threshold Signature Schemes Without Random Oracles.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
43	Jason McDonald, Paul A. Strooper	Translating Object-Z Specifications to Passive Test Oracles.	ICFEM	1998	DBLP DOI BibTeX RDF
43	Gordon Fraser 0001, Andreas Zeller	Mutation-driven generation of unit tests and oracles.	ISSTA	2010	DBLP DOI BibTeX RDF	unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
43	Surender Baswana, Sandeep Sen	Approximate distance oracles for unweighted graphs in expected O(n2) time.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	Approximate distance oracles, distance queries, shortest paths, distances, spanners
43	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001	Proxy Signature Without Random Oracles.	MSN	2006	DBLP DOI BibTeX RDF	Without Random Oracles, CDH Problem, Bilinear Pairings, Proxy Signature
43	John Håkansson, Bengt Jonsson 0001, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
43	Martin S. Feather, Benjamin D. Smith	Automatic Generation of Test Oracles-From Pilot Studies to Application.	ASE	1999	DBLP DOI BibTeX RDF	Planning, Analysis, Verification and Validation, Test Oracles, NASA
43	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
40	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
40	Juan José Rodríguez, Ludmila I. Kuncheva	Naïve Bayes Ensembles with a Random Oracle.	MCS	2007	DBLP DOI BibTeX RDF
40	Matthew Hertz, Emery D. Berger	Quantifying the performance of garbage collection vs. explicit memory management.	OOPSLA	2005	DBLP DOI BibTeX RDF	explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff
40	Rakesh Shukla, David A. Carrington, Paul A. Strooper	A Passive Test Oracle Using a Component's API.	APSEC	2005	DBLP DOI BibTeX RDF
40	Rachid Guerraoui, Michel Raynal	A Generic Framework for Indulgent Consensus.	ICDCS	2003	DBLP DOI BibTeX RDF
39	Richard Beigel, Alexis Maciel	Circuit Lower Bounds Collapse Relativized Complexity Classes.	CCC	1999	DBLP DOI BibTeX RDF	relativized computation, Booleand circuits, oracles, complexity theory
33	Ran Duan, Seth Pettie	Dual-failure distance and connectivity oracles.	SODA	2009	DBLP DOI BibTeX RDF
33	Jérémie Bourdon, Irena Rusu	Statistical Properties of Factor Oracles.	CPM	2009	DBLP DOI BibTeX RDF	factor recognition, suffix recognition, average-case analysis, indexing structure
33	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
33	Edwin J. Beggs	Using Physical Experiments as Oracles.	UC	2009	DBLP DOI BibTeX RDF
33	Christian Murphy, Kuang Shen, Gail E. Kaiser	Automatic system testing of programs without test oracles.	ISSTA	2009	DBLP DOI BibTeX RDF	software testing, metamorphic testing, oracle problem
33	Daisuke Moriyama, Tatsuaki Okamoto	An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles.	ProvSec	2009	DBLP DOI BibTeX RDF
33	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001	Secure universal designated verifier signature without random oracles.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Universal designated verifier signature, Gap Bilinear Diffie Hellman problem, Security analysis, Random oracle
33	Surender Baswana, Akshay Gaur, Sandeep Sen, Jayant Upadhyay	Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error.	ICALP (1)	2008	DBLP DOI BibTeX RDF
33	Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker	Oracles and Advice as Measurements.	UC	2008	DBLP DOI BibTeX RDF
33	Chik How Tan	Signcryption Scheme in Multi-user Setting without Random Oracles.	IWSEC	2008	DBLP DOI BibTeX RDF	decisional bilinear Diffie-Hellman assumption, Signcryption
33	Chik How Tan	Insider-secure Hybrid Signcryption SchemeWithout Random Oracles.	ARES	2007	DBLP DOI BibTeX RDF
33	Jong Hwan Park, Kyu Young Choi, Jung Yeon Hwang, Dong Hoon Lee 0001	Certificateless Public Key Encryption in the Selective-ID Security Model (Without Random Oracles).	Pairing	2007	DBLP DOI BibTeX RDF	Certificateless Public Key Encryption, Bilinear Maps, Chosen Ciphertext Security
33	Jin Li 0002, Tsz Hon Yuen, Kwangjo Kim	Practical Threshold Signatures Without Random Oracles.	ProvSec	2007	DBLP DOI BibTeX RDF	CDH problem, Threshold Signature, Bilinear groups
33	Tsz Hon Yuen, Man Ho Au, Joseph K. Liu, Willy Susilo	(Convertible) Undeniable Signatures Without Random Oracles.	ICICS	2007	DBLP DOI BibTeX RDF	Convertible undeniable signature, pairings, random oracle model
33	Susan Hohenberger, Stephen A. Weis	Honest-Verifier Private Disjointness Testing Without Random Oracles.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF	private disjointness testing, private intersection cardinality, subgroup decision assumption, private data mining, anonymous login
33	Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Rudy Raymond Harry Putra, Shigeru Yamashita	Improved Algorithms for Quantum Identification of Boolean Oracles.	SWAT	2006	DBLP DOI BibTeX RDF
33	Aggelos Kiayias, Hong-Sheng Zhou	Concurrent Blind Signatures Without Random Oracles.	SCN	2006	DBLP DOI BibTeX RDF
33	Ik Rae Jeong, Jeong Ok Kwon, Dong Hoon Lee 0001	A Diffie-Hellman Key Exchange Protocol Without Random Oracles.	CANS	2006	DBLP DOI BibTeX RDF	Diffie-Hellman protocol, Strong forward secrecy, Unknown key share, Key exchange, Key compromise impersonation
33	Tomoya Suzuki, Shigeru Yamashita, Masaki Nakanishi, Katsumasa Watanabe	Robust Quantum Algorithms with epsilon-Biased Oracles.	COCOON	2006	DBLP DOI BibTeX RDF
33	Scott Aaronson	Oracles Are Subtle But Not Malicious.	CCC	2006	DBLP DOI BibTeX RDF
33	Tomoyuki Yamakami	Collapsing Recursive Oracles for Relativized Polynomial Hierarchies.	FCT	2005	DBLP DOI BibTeX RDF
33	Brent Waters	Efficient Identity-Based Encryption Without Random Oracles.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
33	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
33	Dan Boneh, Xavier Boyen	Short Signatures Without Random Oracles.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
33	Xin Wang, Ji Wang 0001, Zhi-Chang Qi	Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.	FORTE	2004	DBLP DOI BibTeX RDF
33	Atif M. Memon, Qing Xie 0003	Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software.	ASE	2004	DBLP DOI BibTeX RDF
33	Fernando Pedone, André Schiper, Péter Urbán, David Cavin	Solving Agreement Problems with Weak Ordering Oracles.	EDCC	2002	DBLP DOI BibTeX RDF
33	Chris Hunter, Paul A. Strooper	Systematically Deriving Partial Oracles for Testing Concurrent Programs.	ACSC	2001	DBLP DOI BibTeX RDF
33	Wolfgang Merkle, Yongge Wang	Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities.	MFCS	1995	DBLP DOI BibTeX RDF
33	Laura K. Dillon, Qing Yu	Oracles for Checking Temporal Properties of Concurrent Systems.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
33	Pinar Donmez, Jaime G. Carbonell	Proactive learning: cost-sensitive active learning with multiple imperfect oracles.	CIKM	2008	DBLP DOI BibTeX RDF	cost-sensitive active learning, multiple oracles, decision theory
33	Dominique Unruh	Random Oracles and Auxiliary Input.	CRYPTO	2007	DBLP DOI BibTeX RDF	auxiliary input, proof techniques, Random oracles, foundations
33	Mikkel Thorup, Uri Zwick	Approximate distance oracles.	J. ACM	2005	DBLP DOI BibTeX RDF	Approximate distance oracles, distance queries, shortest paths, distances, spanners, distance labelings
33	Mikkel Thorup	Compact oracles for reachability and approximate distances in planar digraphs.	J. ACM	2004	DBLP DOI BibTeX RDF	reachability and shortest paths oracles, Planar graphs
33	Lívia M. R. Sampaio, Francisco Vilar Brasileiro, André L. C. Moreira	Performance Analysis of Adaptive Consensus Protocols Based on Slowness Oracles.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	adaptive distributed protocols, slowness oracles, asynchronous distributed systems, unreliable failure detectors, consensus protocols
30	László Babai, Robert Beals, Ákos Seress	Polynomial-time theory of matrix groups.	STOC	2009	DBLP DOI BibTeX RDF	computational group theory, matrix groups, discrete log
30	Kwangsu Lee, Jung Yeon Hwang, Dong Hoon Lee 0001	Non-interactive Identity-Based DNF Signature Scheme and Its Extensions.	ICISC	2008	DBLP DOI BibTeX RDF	Signer Anonymity, Identity-Based Signature, Disjunctive Normal Form, Access Structure
30	Yoonki Song, Suresh Thummalapenta, Tao Xie 0001	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
30	Rui Zhang 0002, Hideki Imai	Generic Combination of Public Key Encryption with Keyword Search and Public Key Encryption.	CANS	2007	DBLP DOI BibTeX RDF
30	Alexandra Boldyreva, Marc Fischlin	On the Security of OAEP.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
30	Hak Soo Ju, Dae Youb Kim, Dong Hoon Lee 0001, Haeryong Park, Kilsoo Chun	Modified ID-Based Threshold Decryption and Its Application to Mediated ID-Based Encryption.	APWeb	2006	DBLP DOI BibTeX RDF
30	Xin Wang, Zhi-Chang Qi, Shuhao Li	An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
30	Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal	Randomized Multivalued Consensus.	ISORC	2001	DBLP DOI BibTeX RDF	Fault-Tolerance, Message Passing, Asynchronous Distributed System, Random Number, Crash Failure, Unreliable Failure Detector, Consensus Problem, Randomized Protocol
30	Donald Beaver, Joan Feigenbaum, Joe Kilian, Phillip Rogaway	Security with Low Communication Overhead.	CRYPTO	1990	DBLP DOI BibTeX RDF
29	Atif M. Memon	Employing user profiles to test a new version of a GUI component in its context of use.	Softw. Qual. J.	2006	DBLP DOI BibTeX RDF	Keyword GUI testing, User session data, User profiles, Software components, Automated testing, Test oracles
29	Lásaro J. Camargos, Edmundo R. M. Madeira, Fernando Pedone	Optimal and Practical WAB-Based Consensus Algorithms.	Euro-Par	2006	DBLP DOI BibTeX RDF	weak ordering oracles, Consensus, crash-recovery, Paxos
29	Huaikou Miao, Ling Liu	A Test Class Framework for Generating Test Cases from Z Specifications.	ICECCS	2000	DBLP DOI BibTeX RDF	test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS
29	Victor Boyko	On the Security Properties of OAEP as an All-or-Nothing Transform.	CRYPTO	1999	DBLP DOI BibTeX RDF	all-or-nothing transforms, encryption modes, polynomial indistinguishability, random oracles, semantic security, exact security, OAEP
29	Phil Stocks, David A. Carrington	A Framework for Specification-Based Testing.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Specification-based testing, testing strategies, test oracles, Z notation, test data
29	Stathis Zachos	A New Characterization of BPP.	FSTTCS	1984	DBLP DOI BibTeX RDF	Probalistic algorithms, polynomial time complexity classes, oracles, polynomial hierarchies
27	Sylvain Boulmé	Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). (Programmation défensive formellement vérifiée (calculs efficaces et vérifiés en Coq, à partir d'oracles OCaml potentiellement non fiables)).		2021	RDF
27	Vincent von Hof	Leveraging Test Case Generation in the Testing Process - An Integration of Human Oracles with Derived Oracles.	SoMeT	2017	DBLP DOI BibTeX RDF
27	Olivier Finot	Oracles du test de transformations de modèles. (Model Transformation Test Oracles).		2014	RDF
27	Helena Handschuh, Yiannis Tsiounis, Moti Yung	Decision Oracles are Equivalent to Matching Oracles.	Public Key Cryptography	1999	DBLP DOI BibTeX RDF	Diffie-Hellman variants, randomized reductions, uniform reductions, homomorphic encryption functions (ElGamal, Goldwasser-Micali, Okamoto-Uchiyama, Naccache-Stern), random self-reducibility, universal malleability, public-key encryption, decision problems, matching problems
27	Timothy J. Long	Erratum: On Restricting the Size of Oracles Compared with Restricting Access to Oracles.	SIAM J. Comput.	1988	DBLP DOI BibTeX RDF
27	Timothy J. Long	On Restricting the Size of Oracles Compared with Restricting Access to Oracles.	SIAM J. Comput.	1985	DBLP DOI BibTeX RDF
23	Markus Rückert, Dominique Schröder	Security of Verifiably Encrypted Signatures and a Construction without Random Oracles.	Pairing	2009	DBLP DOI BibTeX RDF
23	Markus Rückert, Dominique Schröder	Aggregate and Verifiably Encrypted Signatures from Multilinear Maps without Random Oracles.	ISA	2009	DBLP DOI BibTeX RDF