Verfügbarkeit: Testing software and systems

Testing software and systems: 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Heidelberg [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 7019
Schlagworte:	Testmustergenerierung Kommunikationssystem Model Checking Softwaretest Konferenzschrift > 2011 > Paris
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	X, 224 S. graph. Darst. 24 cm
ISBN:	364224579X 9783642245794

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039671411
003	DE-604
005	20120220
007	t\|
008	111102s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N37 \|2 dnb
016	7		\|a 1014976901 \|2 DE-101
020			\|a 364224579X \|9 3-642-24579-X
020			\|a 9783642245794 \|c kart. : EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.) \|9 978-3-642-24579-4
024	3		\|a 9783642245794
028	5	2	\|a Best.-Nr.: 80114450
035			\|a (OCoLC)761382585
035			\|a (DE-599)DNB1014976901
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-83 \|a DE-11
082	0		\|a 005.14 \|2 22/ger
082	0		\|a 004.24 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 330f \|2 stub
245	1	0	\|a Testing software and systems \|b 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings \|c Burkhart Wolff ... (eds.)
264		1	\|a Heidelberg [u.a.] \|b Springer \|c 2011
300			\|a X, 224 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7019
500			\|a Literaturangaben
650	0	7	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kommunikationssystem \|0 (DE-588)4125542-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Paris \|2 gnd-content
689	0	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Kommunikationssystem \|0 (DE-588)4125542-2 \|D s
689	1	1	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1	2	\|a Testmustergenerierung \|0 (DE-588)4234817-1 \|D s
689	1	3	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1		\|5 DE-604
700	1		\|a Wolff, Burkhart \|e Sonstige \|4 oth
710	2		\|a International Federation for Information Processing \|b Working Group Architecture and Protocols for Computer Networks \|e Sonstige \|0 (DE-588)5103524-8 \|4 oth
711	2		\|a ICTSS \|n 23 \|d 2011 \|c Paris \|j Sonstige \|0 (DE-588)16327696-1 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-24580-0
830		0	\|a Lecture notes in computer science \|v 7019 \|w (DE-604)BV000000607 \|9 7019
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3876200&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024520553&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024520553

Datensatz im Suchindex

_version_	1820875356766208000
adam_text	IMAGE 1 TABLE OF CONTENTS COUNTING FOR RANDOM TESTING 1 MARIE-CLAUDE G ANDEL FORMAL TESTING OF TIMED AND PROBABILISTIC SYSTEMS 9 MANUEL NUNEZ IMPROVED USAGE MODEL FOR WEB APPLICATION RELIABILITY TESTING 15 GREGOR V. BOCHMANN, GUY- VINCENT JOURDAN, AND BO WAN MEASURING TEST PROPERTIES COVERAGE FOR EVALUATING UML/OCL MODEL-BASED TESTS 32 KALOU CABRERA CASTILLOS, FREDERIC DADEAU, JACQUES JULLIAND, AND SAFOUAN TAHA CONFORMANCE RELATIONS FOR DISTRIBUTED TESTING BASED ON CSP 48 ANA CAVALCANTI, MARIE-CLAUDE GAUDEL, AND ROBERT M. HIERONS PRASPEL: A SPECIFICATION LANGUAGE FOR CONTRACT-BASED TESTING IN PHP 64 IVAN ENDERLIN, FREDERIC DADEAU, ALAIN GIORGETTI, AND ABDALLAH BEN OTHMAN USING TESTING TECHNIQUES FOR VULNERABILITY DETECTION IN C P R O G R A M S . . . 80 AMEL MAMMAR, ANA CAVALLI, WILLY JIMENEZ, WISSAM MALLOULI, AND EDGARDO MONTES DE OCA LEARNING-BASED TESTING FOR REACTIVE SYSTEMS USING TERM REWRITING TECHNOLOGY 97 KARL MEINKE AND FEI NIU MONITORING DYNAMICAL SIGNALS WHILE TESTING TIMED ASPECTS OF A SYSTEM 115 GORAN FREHSE, KIM G. LARSEN, MARINS MIKUCIONIS, AND BRIAN NIELSEN MODEL-BASED TESTING OF INDUSTRIAL TRANSFORMATIONAL SYSTEMS 131 PETUR OLSEN, JOHAN FOEDERER, AND JAN TRETMANS A REAL-WORLD BENCHMARK MODEL FOR TESTING CONCURRENT REAL-TIME SYSTEMS IN THE AUTOMOTIVE DOMAIN 146 JAN PELESKA, ARTUR HONISCH, FLORIAN LAPSCHIES, HELGE LADING, HERMANN SCHMID, PEER SMUDA, ELENA VOROBEV, AND CORNELIA ZAHLTEN BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014976901 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS ADAPTIVE TESTING OF DETERMINISTIC IMPLEMENTATIONS SPECIFIED BY NONDETERMINISTIC FSMS 162 ALEXANDRE PETRENKO AND NINA YEVTUSHENKO COMPOSITIONAL RANDOM TESTING USING EXTENDED SYMBOLIC TRANSITION SYSTEMS 179 CHRISTIAN SCHWARZL, BERNHARD K. AICHERNIG, AND FRANZ WOTAWA AN EMPIRICAL STUDY ON APPLYING ANOMALY DETECTION TECHNIQUE TO DETECTING SOFTWARE AND COMMUNICATION FAILURES IN MOBILE DATA COMMUNICATION SERVICES 195 HIROYUKI SHINBO AND TORN HASEGAWA ASSESSING TEST ADEQUACY FOR BLACK-BOX SYSTEMS WITHOUT SPECIFICATIONS 209 NEIL WALKINSHAW AUTHOR INDEX 225
any_adam_object	1
building	Verbundindex
bvnumber	BV039671411
classification_rvk	SS 4800
classification_tum	DAT 330f
ctrlnum	(OCoLC)761382585 (DE-599)DNB1014976901
dewey-full	005.14 004.24
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security 004 - Computer science
dewey-raw	005.14 004.24
dewey-search	005.14 004.24
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039671411</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">111102s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N37</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014976901</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364224579X</subfield><subfield code="9">3-642-24579-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642245794</subfield><subfield code="c">kart. : EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.)</subfield><subfield code="9">978-3-642-24579-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642245794</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80114450</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)761382585</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014976901</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testing software and systems</subfield><subfield code="b">23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings</subfield><subfield code="c">Burkhart Wolff ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 224 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7019</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolff, Burkhart</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Architecture and Protocols for Computer Networks</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5103524-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTSS</subfield><subfield code="n">23</subfield><subfield code="d">2011</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16327696-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-24580-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7019</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7019</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3876200&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024520553&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024520553</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Paris gnd-content
genre_facet	Konferenzschrift 2011 Paris
id	DE-604.BV039671411
illustrated	Illustrated
indexdate	2025-01-10T15:14:20Z
institution	BVB
institution_GND	(DE-588)5103524-8 (DE-588)16327696-1
isbn	364224579X 9783642245794
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024520553
oclc_num	761382585
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
owner_facet	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
physical	X, 224 S. graph. Darst. 24 cm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings Burkhart Wolff ... (eds.) Heidelberg [u.a.] Springer 2011 X, 224 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7019 Literaturangaben Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Paris gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Kommunikationssystem (DE-588)4125542-2 s Testmustergenerierung (DE-588)4234817-1 s Model Checking (DE-588)4434799-6 s Wolff, Burkhart Sonstige oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth ICTSS 23 2011 Paris Sonstige (DE-588)16327696-1 oth Erscheint auch als Online-Ausgabe 978-3-642-24580-0 Lecture notes in computer science 7019 (DE-604)BV000000607 7019 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3876200&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024520553&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings Lecture notes in computer science Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd
subject_GND	(DE-588)4234817-1 (DE-588)4125542-2 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)1071861417
title	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings
title_auth	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings
title_exact_search	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings
title_full	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings Burkhart Wolff ... (eds.)
title_fullStr	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings Burkhart Wolff ... (eds.)
title_full_unstemmed	Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings Burkhart Wolff ... (eds.)
title_short	Testing software and systems
title_sort	testing software and systems 23rd ifip wg 6 1 international conference ictss 2011 paris france november 7 10 2011 proceedings
title_sub	23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7 - 10, 2011 ; proceedings
topic	Testmustergenerierung (DE-588)4234817-1 gnd Kommunikationssystem (DE-588)4125542-2 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd
topic_facet	Testmustergenerierung Kommunikationssystem Model Checking Softwaretest Konferenzschrift 2011 Paris
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3876200&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024520553&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT wolffburkhart testingsoftwareandsystems23rdifipwg61internationalconferenceictss2011parisfrancenovember7102011proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks testingsoftwareandsystems23rdifipwg61internationalconferenceictss2011parisfrancenovember7102011proceedings AT ictssparis testingsoftwareandsystems23rdifipwg61internationalconferenceictss2011parisfrancenovember7102011proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge