Logo: to the web site of Uppsala University
uu.se
Publications from Uppsala University
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-49090
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:76997
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other style
apa
ieee
modern-language-association
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Automated test generation for industrial Erlang applications
Blom, Johan
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
(Testing of Reactive Systems)
Jonsson, Bengt
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. Datorteknik.
2003 (English)
In:
Erlang Workshop 2003: Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003., 2003, p. 8-14
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2003. p. 8-14
National Category
Software Engineering
Identifiers
URN:
urn:nbn:se:uu:diva-49090
ISBN:
1-58113-772-9 (print)
OAI: oai:DiVA.org:uu-49090
DiVA, id:
diva2:76997
Available from:
2006-12-15
Created:
2006-12-15
Last updated:
2018-01-11
Open Access in DiVA
No full text in DiVA
By organisation
Department of Information Technology
Computer Systems
On the subject
Software Engineering
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 461 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-49090
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:76997
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other style
apa
ieee
modern-language-association
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.46.0
|
WCAG
|
Uppsala University Library
|
Ask the Library
|
Log in to DiVA
|
Search and link in DiVA
DiVA
Logotyp