Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Borislav Nikolik

dblp:31/3597 · DBLP profile ↗
← Back
6ranked-venue papers
5as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 3 first-authorDatabases, data management, data science and information retrieval · 2 · 2 first-authorTheory of computation · 2 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 50% Program analysis · 50%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › structural testing
data flow testing		 0.011993
Exploring Dataflow Testing of Arrays · ICSE 1993

Methods — techniques the papers use, named apart from their topics

data flow analysis · 0.0
YearPublicationVenuePosition
2012 Software quality assurance economics
Borislav Nikolik
 Inf. Softw. Technol.1
2007 Practical ultra-reliability for abstract data types
abstract
Abstract The Term Redundancy Method (TRM) is a novel approach for obtaining ultra‐reliable programs through specification‐based testing. Current specification‐based testing schemes need a prohibitively large number of test cases for estimating ultra‐reliability. They assume the availability of an accurate program‐usage distribution prior to testing, and they assume the availability of a test oracle. This paper shows how to obtain ultra‐reliable abstract data types specified with equational specifications, with a practical number of test cases, without an accurate usage distribution, and without the usual test oracle. The effectiveness of the TRM in failure detection and recovery is demonstrated on the aircraft collision avoidance system TCAS. Copyright © 2007 John Wiley & Sons, Ltd.
Borislav Nikolik, Dick Hamlet
 Softw. Test. Verification Reliab.1
2006 Test diversity
Borislav Nikolik
 Inf. Softw. Technol.1
2006 Test suite oscillations
Borislav Nikolik
 Inf. Process. Lett.1
1995 Constraint Preservation Through Loops
Borislav Nikolik
 Inf. Process. Lett.1
1993 Exploring Dataflow Testing of Arrays
Richard G. Hamlet, Bruce Gifford, Borislav Nikolik
 ICSE3