Search results for "ASSERT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Paul Johnson, Ehsan Nourbakhsh, T. Ryan Burchfield, Jeff Dix, Ravi Prakash 0001, Subbarayan Venkatesan, Neeraj Mittal	ASSERT: Advanced wireleSS Environment Research Testbed.	SenSys	2009	DBLP DOI BibTeX RDF	wireless, sensor, testbeds, ASSERT
50	David Harel, Shahar Maoz	Assert and negate revisited: Modal semantics for UML sequence diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts
50	Kara L. Nance, Brian Hay, Christopher Hecker	Promoting Digital Forensics Awareness through the University of Alaska Fairbanks ASSERT Center.	HICSS	2007	DBLP DOI BibTeX RDF
38	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
38	Jack Brassil	Using Mobile Communications to Assert Privacy from Video Surveillance.	IPDPS	2005	DBLP DOI BibTeX RDF
35	Alexander Brodsky 0001, Hadon Nash	CoJava: Optimization Modeling by Nondeterministic Simulation.	CP	2006	DBLP DOI BibTeX RDF
26	Yuwei Zhang 0003, Zhi Jin, Zejun Wang, Ying Xing, Ge Li	SAGA: Summarization-Guided Assert Statement Generation.	CoRR	2023	DBLP DOI BibTeX RDF
26	Alex Mei, Sharon Levy, William Yang Wang	ASSERT: Automated Safety Scenario Red Teaming for Evaluating the Robustness of Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
26	Yisong Liu, Toerless Eckert, Mike McBride, Zheng (Sandy) Zhang	PIM Assert Message Packing.	RFC	2023	DBLP DOI BibTeX RDF
26	Sherae L. Daniel, Likoebe M. Maruping, Renzhi Fred Zhao, Truong (Jack) P. Luu	To Assert or Defend My Role as an OSS Developer: How IT Infrastructure Access Changes the Effect of Digital Platform Behavior on Firm Mobility.	AMCIS	2023	DBLP BibTeX RDF
26	Alex Mei, Sharon Levy, William Yang Wang	ASSERT: Automated Safety Scenario Red Teaming for Evaluating the Robustness of Large Language Models.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
26	Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado	Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment.	CoRR	2022	DBLP DOI BibTeX RDF
26	Fahed Alkhabbas, Mohammed Alsadi, Sadi Alawadi, Feras M. Awaysheh, Victor R. Kebande, Mahyar Tourchi Moghaddam	ASSERT: A Blockchain-Based Architectural Approach for Engineering Secure Self-Adaptive IoT Systems.	Sensors	2022	DBLP DOI BibTeX RDF
26	Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado	Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment.	CIBSE	2022	DBLP DOI BibTeX RDF
26	Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan	Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers.	AST@ICSE	2022	DBLP DOI BibTeX RDF
26	Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen G. MacDonell	Assert Use and Defectiveness in Industrial Code.	CoRR	2021	DBLP BibTeX RDF
26	Ayush Kaushal, Avirup Saha, Niloy Ganguly	tWT-WT: A Dataset to Assert the Role of Target Entities for Detecting Stance of Tweets.	NAACL-HLT	2021	DBLP DOI BibTeX RDF
26	Nils Ehrenberg, Turkka Keinonen	The Technology Is Enemy for Me at the Moment: How Smart Home Technologies Assert Control Beyond Intent.	CHI	2021	DBLP DOI BibTeX RDF
26	Robert White, Jens Krinke	ReAssert: Deep Learning for Assert Generation.	CoRR	2020	DBLP BibTeX RDF
26	Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk	On Learning Meaningful Assert Statements for Unit Test Cases.	CoRR	2020	DBLP BibTeX RDF
26	Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan	Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers.	CoRR	2020	DBLP BibTeX RDF
26	Railana Santana, Luana Almeida Martins, Larissa Rocha 0001, Tássio Virgínio, Adriana Cruz, Heitor A. X. Costa, Ivan Machado	RAIDE: a tool for Assertion Roulette and Duplicate Assert identification and refactoring.	SBES	2020	DBLP DOI BibTeX RDF
26	Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk	On learning meaningful assert statements for unit test cases.	ICSE	2020	DBLP DOI BibTeX RDF
26	Cheng-I Lai, Nanxin Chen, Jesús Villalba 0001, Najim Dehak	ASSERT: Anti-Spoofing with Squeeze-Excitation and Residual neTworks.	CoRR	2019	DBLP BibTeX RDF
26	Ahmet Okutan, Shanchieh Jay Yang	ASSERT: attack synthesis and separation with entropy redistribution towards predictive cyber defense.	Cybersecur.	2019	DBLP DOI BibTeX RDF
26	Cheng-I Lai, Nanxin Chen, Jesús Villalba 0001, Najim Dehak	ASSERT: Anti-Spoofing with Squeeze-Excitation and Residual Networks.	INTERSPEECH	2019	DBLP DOI BibTeX RDF
26	Cong Wang 0020, Yu Jiang 0001, Xibin Zhao, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
26	Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell	Requirements Capture and Analysis in ASSERT(TM).	RE	2017	DBLP DOI BibTeX RDF
26	Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen G. MacDonell	Assert Use and Defectiveness in Industrial Code.	ISSRE Workshops	2017	DBLP DOI BibTeX RDF
26	Pavneet Singh Kochhar, David Lo 0001	Revisiting Assert Use in GitHub Projects.	EASE	2017	DBLP DOI BibTeX RDF
26	Casey Casalnuovo, Premkumar T. Devanbu, Abílio Oliveira, Vladimir Filkov, Baishakhi Ray	Assert Use in GitHub Projects.	ICSE (1)	2015	DBLP DOI BibTeX RDF
26	Cheng Li, Philip Shilane, Fred Douglis, Darren Sawyer, Hyong Shim	Assert(!Defined(Sequential I/O)).	HotStorage	2014	DBLP BibTeX RDF
26	James Segedy, Kirk M. Loretz, Gautam Biswas	Suggest-Assert-Modify: A Taxonomy of Adaptive Scaffolds in Computer-Based Learning Environments.	AIED Workshops	2013	DBLP BibTeX RDF
26	Owen Sacco, John G. Breslin	"I Like" - Analysing Interactions within Social Networks to Assert the Trustworthiness of Users, Sources and Content.	SocialCom	2013	DBLP DOI BibTeX RDF
26	Alex Groce, Martin Erwig	Finding common ground: choose, assert, and assume.	WODA	2012	DBLP DOI BibTeX RDF
26	Ehsan Nourbakhsh, T. Ryan Burchfield, S. Venkatesan 0001, Neeraj Mittal, Ravi Prakash 0001	Enhancing ASSERT: making an accurate testbed friendly.	WiNTECH@MOBICOM	2011	DBLP DOI BibTeX RDF
26	Juan Zamorano, Juan Antonio de la Puente	Design and implementation of real-time distributed systems with the ASSERT Virtual Machine.	ETFA	2010	DBLP DOI BibTeX RDF
26	Ehsan Nourbakhsh, Jeff Dix, Paul Johnson, T. Ryan Burchfield, S. Venkatesan 0001, Neeraj Mittal, Ravi Prakash 0001	ASSERT: A Wireless Networking Testbed.	TRIDENTCOM	2010	DBLP DOI BibTeX RDF
26	Tullio Vardanega	Property Preservation and Composition with Guarantees: From ASSERT to CHESS.	ISORC	2009	DBLP DOI BibTeX RDF
26	Grant Martin	Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)].	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
26	Mass Soldal Lund, Ketil Stølen	Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert.	AST	2006	DBLP DOI BibTeX RDF
26	Hans-Joachim Lenz, Veit Köppen, Roland M. Müller	Edits - Data Cleansing at the Data Entry to assert semantic Consistency of metric Data.	SSDBM	2006	DBLP DOI BibTeX RDF
26	Chi-Ren Shyu, Carla E. Brodley, Avinash C. Kak, Akio Kosaka, Alex M. Aisen, Lynn S. Broderick	ASSERT: A Physician-in-the-Loop Content-Based Retrieval System for HRCT Image Databases.	Comput. Vis. Image Underst.	1999	DBLP DOI BibTeX RDF
26	Sharon Simmons, Phil Kearns	A Causal Assert Statement for Distributed Systems.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
26	Scott Dietzen, Frank Pfenning	A Declarative Alternative to "Assert" in Logic Programming.	ISLP	1991	DBLP BibTeX RDF
26	J. F. Dazy, J. M. Pozas	Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog.	SPLT	1989	DBLP BibTeX RDF
26	Robert M. Colomb	Assert, Retract and External Processes in Prolog.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
26	David Matuszek	The case for the assert statement.	ACM SIGPLAN Notices	1976	DBLP DOI BibTeX RDF
23	Endre Bangerter, Maksim Djackov, Ahmad-Reza Sadeghi	A Demonstrative Ad Hoc Attestation System.	ISC	2008	DBLP DOI BibTeX RDF	Kiosk computing, platform integrity, smart cards, Trusted computing, attestation
23	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
23	Andrea Hoplight Tapia, Magy Seif El-Nasr, Ibrahim Yucel, Joseph A. Zupko, Edgar A. Maldonado	Building Virtual Spaces. (PDF / PS)	Virtuality and Virtualization	2007	DBLP DOI BibTeX RDF
23	Rodolfo Gómez 0001, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
23	Alexander Brodsky 0001, Hadon Nash	CoJava: a unified language for simulation and optimization.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	simulation, optimization, constraints
23	Panagiotis Manolios, Richard J. Trefler	A lattice-theoretic characterization of safety and liveness.	PODC	2003	DBLP DOI BibTeX RDF
23	K. Chandra Sekharaiah, D. Janaki Ram	Object Schizophrenia Problem in Object Role System Design.	OOIS	2002	DBLP DOI BibTeX RDF	Object Schizophrenia (OS), Object Schizophrenia Problem (OSP), Role Modeling Problem (RMP), Subject Oriented Programming (SOP), Whole-Part Association (WPA), Role Paradigm Conformance Model (RPCM)
23	Nicholas C. Romano Jr.	E-Commerce Customer Relations Management - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
23	François Jacquenet, Irène Foucherot	A new logical view of knowledge manipulation with PROLOG.	ANZIIS	1996	DBLP DOI BibTeX RDF
23	Yacov Yacobi, Zahava Shmuely	On Key Distribution Systems.	CRYPTO	1989	DBLP DOI BibTeX RDF
12	Gernot Heiser, Ben Leslie	The OKL4 microvisor: convergence point of microkernels and hypervisors.	ApSys	2010	DBLP DOI BibTeX RDF	real-time systems, embedded systems, virtual machines, hypervisors, microkernels
12	Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
12	Maithili Narasimha, John Solis, Gene Tsudik	Privacy-preserving revocation checking.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	Privacy-preserving revocation checking, Anonymity and privacy, Certificate revocation trees, Revocation, Certificate revocation lists
12	Nader Ghasemi, Subhrakanti Dey	A Constrained MDP Approach to Dynamic Quantizer Design for HMM State Estimation.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
12	Andreas Klenk, Holger Kinkelin, Christoph Eunicke, Georg Carle	Preventing identity theft with electronic identity cards and the trusted platform module.	EUROSEC	2009	DBLP DOI BibTeX RDF	authentication with TPM, electronic ID, identity system
12	Angelos Stavrou, Gabriela F. Cretu-Ciocarlie, Michael E. Locasto, Salvatore J. Stolfo	Keep your friends close: the necessity for updating an anomaly sensor with legitimate environment changes.	AISec	2009	DBLP DOI BibTeX RDF	anomaly detection, concept drift, model update
12	Sanjay Rawat 0001, Ashutosh Saxena	Danger theory based SYN flood attack detection in autonomic network.	SIN	2009	DBLP DOI BibTeX RDF	syn flood attack, intrusion detection, artificial immune system, adaptive threshold, autonomic networks, danger theory
12	Marie-Hélène Gorisse	The Art of Non-asserting: Dialogue with Nagarjuna.	ICLA	2009	DBLP DOI BibTeX RDF
12	Robert G. Abbott, J. Chris Forsythe	Characterizing Cognitive Adaptability via Robust Automated Knowledge Capture.	HCI (16)	2009	DBLP DOI BibTeX RDF
12	Sebastian Fleissner, Elisa L. A. Baniassad	Harmony-oriented programming and software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	resonance, harmony
12	Guenther Starnberger, Lorenz Froihofer, Karl M. Göschka	QR-TAN: Secure Mobile Transaction Authentication.	ARES	2009	DBLP DOI BibTeX RDF
12	James T. Yeh	The Many Colors and Shapes of Cloud.	CloudCom	2009	DBLP DOI BibTeX RDF
12	Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter	Design, implementation, and evaluation of transparent pNFS on Lustre.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Julie L. Baher, Bill Westerman	The usability of creativity: experts v. novices.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	photoshop, usability, software, creativity
12	Felienne Hermans, Martin Pinzger 0001, Arie van Deursen	Domain-Specific Languages in Practice: A User Study on the Success Factors.	MoDELS	2009	DBLP DOI BibTeX RDF
12	Muhammad Ali Babar 0001, He Zhang 0001	Systematic literature reviews in software engineering: Preliminary results from interviews with researchers.	ESEM	2009	DBLP DOI BibTeX RDF
12	Ken C. K. Lee, Wang-Chien Lee, Hong Va Leong, Brandon Unger, Baihua Zheng	Efficient valid scope computation for location-dependent spatial queries in mobile and wireless environments.	ICUIMC	2009	DBLP DOI BibTeX RDF
12	Vítor Santos Costa	On Just in Time Indexing of Dynamic Predicates in Prolog.	EPIA	2009	DBLP DOI BibTeX RDF
12	Michael Zoumboulakis, George Roussos	Estimation of Pollutant-Emitting Point-Sources Using Resource-Constrained Sensor Networks.	GSN	2009	DBLP DOI BibTeX RDF	Source Localisation, Spatial Event Detection, Kalman Filters, Estimation
12	Ajay Chakravarthy, Richard Beales, Paul Walland, Angelos Yannopoulos	ANSWER: A Semantic Approach to Film Direction.	ICIW	2009	DBLP DOI BibTeX RDF
12	Klaus G. Troitzsch	Perspectives and challenges of agent-based simulation as a tool for economics and other social sciences.	AAMAS (1)	2009	DBLP BibTeX RDF	level hierarchy, social systems simulation, simulation, agents, complex system, role, social system
12	Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen	Novel Probabilistic Combinational Equivalence Checking.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
12	Do Young Eun, Xinbing Wang	Achieving 100% throughput in TCP/AQM under aggressive packet marking with small buffer.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	router buffer sizing, small buffer, transmission control protocol, TCP/IP, stochastic modeling
12	Nan Jin, Scott Jordan	On the feasibility of dynamic congestion-based pricing in differentiated services networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	quality of service (QoS), pricing, differentiated services
12	Dan Corbett	Graph-Based Representation and Reasoning for Ontologies.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
12	Shahbaz Khan 0001, S. A. Mahmud, Hamed S. Al-Raweshidy	A Rate-Adaptive MAC for IEEE 802.11 Networks.	CNSR	2008	DBLP DOI BibTeX RDF	Loss Differentiation, WLAN, Rate Adaptation
12	Christian Bartsch 0002, Marco von Mevius, Andreas Oberweis	Simulation of IT Service Processes with Petri-Nets.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	IT Service Process, Availability Pattern, Petri-Net, Process Modeling, Process Simulation
12	David R. Lester	Real Number Calculations and Theorem Proving.	TPHOLs	2008	DBLP DOI BibTeX RDF	Computable Reals, Exact Arithmetic, Theorem Proving, PVS, Higher-order Logic
12	Zhibo Chen 0002, Carlos Ordonez 0001	Efficient OLAP with UDFs.	DOLAP	2008	DBLP DOI BibTeX RDF	OLAP, CUBE, UDF
12	Honggang Wang 0001, Dongming Peng, Wei Wang 0015, Hamid Sharif, Hsiao-Hwa Chen	Energy-Aware Adaptive Watermarking for Real-Time Image Delivery in Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
12	Piernicola Bettiol, Richard B. Vinter	Sensitivity relations for optimal control problems with state constraints.	CDC	2008	DBLP DOI BibTeX RDF
12	Eleni Michailidou, Simon Harper, Sean Bechhofer	Investigating sighted users' browsing behaviour to assist web accessibility.	ASSETS	2008	DBLP DOI BibTeX RDF	eye tracking, visual impairments, web accessibility, visual perception
12	Niels Lohmann	Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.	BPM	2008	DBLP DOI BibTeX RDF	graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines
12	Fehmida Hussain, Sharon Wood	Modelling the Efficiencies and Interactions of Attentional Networks.	WAPCV	2008	DBLP DOI BibTeX RDF
12	Lei Zhang 0004, Sushil Jajodia, Alexander Brodsky 0001	Simulatable Binding: Beyond Simulatable Auditing.	Secure Data Management	2008	DBLP DOI BibTeX RDF
12	Sibo Yang, Franck Gechter, Abderrafiaa Koukam	Application of Reactive Multi-agent System to Vehicle Collision Avoidance.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
12	Jeff Pool, Anselmo Lastra, Montek Singh	Energy-precision tradeoffs in mobile Graphics Processing Units.	ICCD	2008	DBLP DOI BibTeX RDF
12	Jeff Sutherland, Carsten Ruseng Jakobsen, Kent Johnson	Scrum and CMMI Level 5: The Magic Potion for Code Warriors.	HICSS	2008	DBLP DOI BibTeX RDF
12	Fu-ren Lin, Sheng-cheng Lin, Ying-fen Wang	Can Peer-to-Peer Networks Facilitate Information Sharing in Collaborative Learning?	HICSS	2008	DBLP DOI BibTeX RDF
12	Cynthia Y. Lester	Advancing the Multidisciplinary Nature of Human Computer Interaction in a Newly Developed Undergraduate Course.	ACHI	2008	DBLP DOI BibTeX RDF	peer teaching, HCI education, multidisciplinary collaboration
12	T. Rajendran, K. V. Sreenaath	Hash optimization for cryptographically generated address.	COMSWARE	2008	DBLP DOI BibTeX RDF
12	Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry	Verification of a Hierarchical Generic Mutual Exclusion Algorithm.	FORTE	2008	DBLP DOI BibTeX RDF	model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets