<commit_before>---
layout: page
title: Publications
excerpt: "Testing of Distributed Systems."
modified: 2014-08-08T19:44:38.564948-04:00
search_omit: true
image:
  feature: so-simple-sample-image-3.jpg
  credit:  deepak
  creditlink: http://research-deepak.com/home
---

**2016:** 
{: .notice}

[1.] <NAME>.; <NAME> . (2016). *Generating Optimal Test Cases for Real-Time Systems using DIVINE
	 Model Checker*. IEEE (Forthcoming).

[2.] <NAME>; <NAME> . (2016). *Automatic Distribution of Fully Optimize Testers for
Real-Time Distributed Systems*. IOS Press
     proceedings Frontiers in Artificial Intelligence and Applications. (Forthcoming) .

[[3.]](http://link.springer.com/chapter/10.1007/978-3-319-40180-5_19) <NAME> .; <NAME> .; <NAME> .; <NAME> .; <NAME>. (2016). *Model-based testing of real-time 
	                                                                  distributed systems*. Springer International Publishing, 272--286, 978-3-319-40180-5. 

---

**2014:** 
{: .notice}


[4.] <NAME>; <NAME> . (2014). *Model Based Framework for Testing Distributed Systems*. In Proc. 8th
	 Annual Conference of the Estonian National Doctoral School in Information and Communication Technology, Pages 91-94, 5-6 December 2014.

<commit_msg>update ios<commit_after>---
layout: page
title: Publications
excerpt: "Testing of Distributed Systems."
modified: 2014-08-08T19:44:38.564948-04:00
search_omit: true
image:
  feature: so-simple-sample-image-3.jpg
  credit:  deepak
  creditlink: http://research-deepak.com/home
---

**2016:** 
{: .notice}

[1.] <NAME>.; <NAME> . (2016). *Generating Optimal Test Cases for Real-Time Systems using DIVINE
	 Model Checker*. IEEE (Forthcoming).

[2.] <NAME> .; <NAME> .; <NAME> .; <NAME> .; <NAME>. (2016). *Automatic Distribution of Local Testers
for Testing Distributed Systems*. IOS Press
     proceedings Frontiers in Artificial Intelligence and Applications.

[[3.]](http://link.springer.com/chapter/10.1007/978-3-319-40180-5_19) <NAME> .; <NAME> .; <NAME> .; <NAME> .; <NAME>. (2016). *Model-based testing of real-time 
	                                                                  distributed systems*. Springer International Publishing, 272--286, 978-3-319-40180-5. 

---

**2014:** 
{: .notice}


[4.] <NAME>; <NAME> . (2014). *Model Based Framework for Testing Distributed Systems*. In Proc. 8th
	 Annual Conference of the Estonian National Doctoral School in Information and Communication Technology, Pages 91-94, 5-6 December 2014.


{'fraction_non_alphanumeric': 0.14584170349537967, 'fraction_numerical': 0.08356769787063077, 'mean_word_length': 3.0886699507389164, 'pattern_counts': {'":': 0, '<': 28, '<?xml version=': 0, '>': 28, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1737139', 'n_tokens_mistral': 935, 'n_tokens_neox': 752, 'n_words': 234}