This page uses JavaScript. Your browser either doesn't support JavaScript or you have it turned off. To see this page as it is meant to appear please use a JavaScript enabled browser.

Upload image

Upload file

Capture with webcam

Remove image

Capture

Crop

File is uploading ...

MENU MENU

COBISS databases
New search
Search history
E-resources
Publication search
UP repository
Help
- Help
- News
Theme
My Profile
- Login
- Become a member

Search Search results

Search results

Basic search Advanced search

Search
request

Instructions for searching through e-resources

Library

Currently you are NOT authorised to access e-resources UPUK. For full access, REGISTER.

COBISS
E-resources UPUK

Add to 'My shelf'
Export to Excel
Export to RIS
Save search
Create alert
Subscribe to the RSS feed for this search

1 2 3 4 5

1.	A Logic for Locally Complete Abstract Interpretations Conference Proceeding Open access	Full text
2.	Guiding dynamic symbolic execution toward unverified program executions 05/2016 Conference Proceeding Open access	Full text PDF
3.	Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services Conference Proceeding Open access	Full text PDF
4.	A Context-Based Automated Approach for Method Name Consistency Checking and Suggestion Conference Proceeding Open access	Full text PDF
5.	RobOT: Robustness-Oriented Testing for Deep Learning Systems Conference Proceeding Open access	Full text PDF
6.	Bounded Exhaustive Search of Alloy Specification Repairs Conference Proceeding Open access	Full text PDF
7.	Identifying and Characterizing Silently-Evolved Methods in the Android API Conference Proceeding Open access	Full text
8.	Restoring Execution Environments of Jupyter Notebooks Conference Proceeding Open access	Full text PDF
9.	CoVeriTeam Service: Verification as a Service Beyer, Dirk; Kanav, Sudeep; Wachowitz, Henrik 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Conference Proceeding Open access The research community has developed numerous tools for solving verification problems, but we are missing a common web interface for executing them. This means, users have to commit to install and ...	Full text
10.	Evaluating SZZ Implementations Through a Developer-Informed Oracle Conference Proceeding Open access	Full text PDF

Add to 'My shelf'
Export to Excel
Export to RIS
Save search
Create alert
Subscribe to the RSS feed for this search

1 2 3 4 5

Load filters

No result was selected!

Please select the results that you wish to export.

The search was successfully saved.

Editing

The search could not be saved.

Saved searches can be viewed in the list My searches.

The changes made to the saved search were saved successfully.

Save search

Search request:

Search name:

Database:

Shelf entry

Shelf:

No result was selected!

Adding material to shelf was successful.

Adding material to shelf was partly successful.

Adding material to shelf failed completely.

It was not necessary to add the material to the shelf.

Please select the results that you want to put on shelf!

On shelf the following records have been successfully added:

Entries, where adding on the shelf failed:

Adding on shelf failed for all selected entries:

All the selected material is already on the shelf.

Duplicate

Limit reached

Editing

Error

Editing

Adding

Editing

Change of status

An alert with this search request has already been created. Please check the My alerts list.

You already have 10 active alerts.

No changes were made when editing the alert.

An error occurred when adding and/or editing the alert. Please, try again later.

opac.user.alert.dialog.alert_success.info

Alert was successfully added and activated.

Changes made to alert settings saved successfully.

Alert status changed.

Title	Author	Type of material	Source	Link

Slovenščina English

Version 13.14.3, rel. 24.7.2024

Server: praacp04.izum.pri

Client IP: 3.139.107.131

Theme

default theme theme with increased contrast