Jump to main content

yr 〜
yr

Search results 97

2016 IEEE/ACM 11th international workshop in automation of software test : (AST 2016) : Austin, Texas, USA : 14-15 May 2016 : May 2016, Austin, TX.

2016 IEEE/ACM 11th international workshop in automation of software test : (AST 2016) : Austin, Texas, USA : 14-15 May 2016 : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-1>
National Diet Library

2016 IEEE/ACM 9th international workshop on search-based software testing : (SBST 2016) : Austin, Texas, USA : 16-17 May 2016 : SBST16 : May 2016, Austin, TX.

2016 IEEE/ACM 9th international workshop on search-based software testing : (SBST 2016) : Austin, Texas, USA : 16-17 May 2016 : SBST16 : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-1463>
National Diet Library

2016 IEEE/ACM 1st international workshop on metamorphic testing (MET 2016) : Austin, Texas, USA : 16 May 2016 : May 2016, Austin, TX.

2016 IEEE/ACM 1st international workshop on metamorphic testing (MET 2016) : Austin, Texas, USA : 16 May 2016 : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-949>
National Diet Library

2013 8th international workshop on automation of software test : (AST 2013) : San Francisco, California, USA : 18-19 May 2013 : May 2013, San Francisco, CA. CFP1315D

2013 8th international workshop on automation of software test : (AST 2013) : San Francisco, California, USA : 18-19 May 2013 : May 2013, San Francisco, CA. CFP1315D
Paper図書
IEEEc2013.<M17-14-1190>
National Diet Library

Testing software and systems : 25th IFIP WG 6.1 international conference, ICTSS 2013 : Istanbul, Turkey, November 13-15, 2013 : proceedings : Nov 2013, Istanbul, Turkey. (Lecture Notes in Computer Science ; 8254)

Testing software and systems : 25th IFIP WG 6.1 international conference, ICTSS 2013 : Istanbul, Turkey, November 13-15, 2013 : proceedings : Nov 2013, Istanbul, Turkey. (Lecture Notes in Computer Science ; 8254)
Paper図書
Springerc2013.<M17-14-847>
National Diet Library

Testing software and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014 : Madrid, Spain, September 23-25, 2014 : proceedings : Sep 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8763)

Testing software and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014 : Madrid, Spain, September 23-25, 2014 : proceedings : Sep 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8763)
Paper図書
Springer[2014]<M17-15-1262>
National Diet Library

2014 second workshop on anti-malware testing research : (WATeR 2014) : Canterbury, United Kingdom : 23 October 2014 : Oct 2014, Canterbury, UK.

2014 second workshop on anti-malware testing research : (WATeR 2014) : Canterbury, United Kingdom : 23 October 2014 : Oct 2014, Canterbury, UK.
Paper図書
IEEE[2014]<M17-16-1005>
National Diet Library

2015 IEEE/ACM 10th international workshop on automation of software test : (AST 2015) : Florence, Italy : 23-24 May 2015 : May 2015, Florence, Italy.

2015 IEEE/ACM 10th international workshop on automation of software test : (AST 2015) : Florence, Italy : 23-24 May 2015 : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-286>
National Diet Library

2015 IEEE/ACM 8th international workshop on search-based software testing : (SBST 2015) : Florence, Italy : 18-19 May 2015 : international workshop on search based software testing : May 2015, Florence, Italy.

2015 IEEE/ACM 8th international workshop on search-based software testing : (SBST 2015) : Florence, Italy : 18-19 May 2015 : international workshop on search based software testing : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-1815>
National Diet Library

Testing software and systems : 24th IFIP WG 6.1 international conference, ICTSS 2012 : Aalborg, Denmark, November 19-21, 2012 : proceedings : Nov 2012, Aalborg, Denmark. (Lecture Notes in Computer Science ; 7641)

Testing software and systems : 24th IFIP WG 6.1 international conference, ICTSS 2012 : Aalborg, Denmark, November 19-21, 2012 : proceedings : Nov 2012, Aalborg, Denmark. (Lecture Notes in Computer Science ; 7641)
Paper図書
Springerc2012.<M17-13-1163>
National Diet Library

2016 international conference on software analysis, testing and evolution (SATE 2016) : Kunming, China : 3-4 November 2016 : annual conference on software analysis, testing and evolution : Nov 2016, Kunming, China.

2016 international conference on software analysis, testing and evolution (SATE 2016) : Kunming, China : 3-4 November 2016 : annual conference on software analysis, testing and evolution : Nov 2016, Kunming, China.
Paper図書
IEEE[2016]<M17-18-1511>
National Diet Library

Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada. (Lecture Notes in Computer Science ; 8734)

Runtime verification : 5th international conference, RV 2014 : Toronto, ON, Canada, September 22-25, 2014 : proceedings : Sep 2014, Toronto, Canada. (Lecture Notes in Computer Science ; 8734)
Paper図書
Springer[2014]<M17-15-738>
National Diet Library

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)
Paper図書
Springerc2013.<M17-13-3387>
National Diet Library

3rd international workshop on advances in model-based testing : AMOST 2007 : July 9-12, 2007 : London, United Kingdom. : advances in model based testing : Jul 2007, London, UK.

3rd international workshop on advances in model-based testing : AMOST 2007 : July 9-12, 2007 : London, United Kingdom. : advances in model based testing : Jul 2007, London, UK.
Paper図書
ACMc2007.<M17-09-1260>
National Diet Library
  • Subject HeadingComputer software -- Testing -- Congresses.

Testing -- practice and research techniques : 5th international academic and industrial conference : TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings. : Sep 2010, Windsor, UK. (Lecture Notes in Computer Science ; 6303)

Testing -- practice and research techniques : 5th international academic and industrial conference : TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings. : Sep 2010, Windsor, UK. (Lecture Notes in Computer Science ; 6303)
Paper図書
Springerc2010.<M17-10-4359>
National Diet Library
  • Subject HeadingComputer software -- Testing -- Congresses. Academic-industrial collabor...

Runtime verification : 4th international conference, RV 2013 : Rennes, France, September 24-27, 2013 : proceedings : Sep 2013, Rennes, France. (Lecture Notes in Computer Science ; 8174)

Runtime verification : 4th international conference, RV 2013 : Rennes, France, September 24-27, 2013 : proceedings : Sep 2013, Rennes, France. (Lecture Notes in Computer Science ; 8174)
Paper図書
Springerc2013.<M17-14-719>
National Diet Library

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers : Sep 2012, Istanbul, Turkey. (Lecture Notes in Computer Science ; 7687)

Runtime verification : third international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers : Sep 2012, Istanbul, Turkey. (Lecture Notes in Computer Science ; 7687)
Paper図書
Springerc2013.<M17-13-1624>
National Diet Library

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : 2010 international conference on software testing and analysis : Jul 2010, Trento, Italy.

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : 2010 international conference on software testing and analysis : Jul 2010, Trento, Italy.
Paper図書
ACMc2010.<M17-11-3159>
National Diet Library
  • Subject HeadingComputer software -- Testing -- Congresses. Computer software -- Validat...

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013 : IEEE event : Mar 2013, Luxembourg, Luxembourg.

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013 : IEEE event : Mar 2013, Luxembourg, Luxembourg.
Paper図書
IEEEc2013.<M17-14-999>
National Diet Library

19th international symposium on software testing and analysis 2010 : (ISSTA 2010) : Trento, Italy : 12-16 July 2010. : ISSTA 2010 conference : Jul 2010, Trento, Italy.

19th international symposium on software testing and analysis 2010 : (ISSTA 2010) : Trento, Italy : 12-16 July 2010. : ISSTA 2010 conference : Jul 2010, Trento, Italy.
Paper図書
Association for Computing Machineryc2010.<M17-11-33>
National Diet Library
  • Subject HeadingComputer software -- Testing -- Congresses. Computer software -- Evaluat...
RSS